Reversibility and asymmetric conflict in event structures

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logical and algebraic methods in programming Jg. 84; H. 6; S. 781 - 805
Hauptverfasser: Phillips, Iain, Ulidowski, Irek
Format: Journal Article
Sprache:Englisch
Japanisch
Veröffentlicht: 01.11.2015
ISSN:2352-2208
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
ISSN:2352-2208
DOI:10.1016/j.jlamp.2015.07.004