On the observational semantics of fair parallelism

Bibliographische Detailangaben

Hauptverfasser:	Darondeau, Ph, Kott, L.
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Action Demand Asynchronous System Atomic Agent Operational Semantic Parallel Composition
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!