zbMath0512.68021MaRDI QIDQ3657416
Manfred Broy, Martin Wirsing
Publication date: 1983
zbMATH Keywords
operational semantics; virtual process; mathematical semantics for closed communicating systems
Mathematics Subject Classification ID
68P05: Data structures
68N25: Theory of operating systems
Related Items