Algebraic laws for nondeterminism and concurrency

Bibliographische Detailangaben

Hauptverfasser:	Hennessy, Matthew (VerfasserIn), Milner, ŏbin (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Edinburgh 1983
Schriftenreihe:	University <Edinburgh> / Department of Computer Science: Internal report 133
Schlagworte:	Computer software
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!