Denotational semantics of communicating processes based on a language for applicative multiprogramming

DOI10.1016/0020-0190(83)90087-XzbMath0509.68019MaRDI QIDQ1838282

Manfred Broy

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

communicating sequential processesnondeterministic stream-processing functionstightly coupled 'synchronous' systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (2)

Specification and top-down design of distributed systems ⋮ A fixed point approach to parallel discrete event simulation

Cites Work

• Unnamed Item
• Unnamed Item
• Transformational semantics for concurrent programs
• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Communicating sequential processes

This page was built for publication: Denotational semantics of communicating processes based on a language for applicative multiprogramming