Extensional behaviour of concurrent, nondeterministic, communicating systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Broy, Manfred (VerfasserIn)
Körperschaft:	Universität Passau Fakultät für Mathematik und Informatik (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Passau Dekanat d. Fak. für Mathematik u. Informatik, Univ. 1985
Schriftenreihe:	MIP 8506 Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau
Schlagworte:	Electronic data processing > Distributed processing > Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturverz. S. 44 - 47
Beschreibung:	47 S 1 graph. Darst 21 cm