Formal semantics of a class of high-level primitives for coordinating concurrent processes

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Acta informatica 1975-12, Vol.5 (4)
Hauptverfasser:	Lauer, P.E., Campbell, R.H.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!