Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency Leicester, UK, July 23 - 25, 1990

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Workshop on Semantics for Concurrency (VerfasserIn)
Weitere Verfasser:	Kwiatkowska, Marta Z. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. Elsevier 1992
Schriftenreihe:	Theoretical computer science 101,2
Schlagworte:	Parallelverarbeitung > Semantik > Petri-Netz > Logik > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	S. 159 - 359