Specification and top-down design of distributed systems

DOI10.1016/0022-0000(87)90026-2zbMath0619.68020OpenAlexW2154307838MaRDI QIDQ1089790

Manfred Broy

Publication date: 1987

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(87)90026-2

zbMATH Keywords

correctnessinferencenondeterministicconcurrent communication agents

Mathematics Subject Classification ID

Data structures (68P05) Theory of operating systems (68N25)

Related Items

Interfaces between languages for communicating systems

Cites Work

• Predicative specifications for functional programs describing communicating networks
• A calculus of communicating systems
• Partial abstract types
• Power domains
• Denotational semantics of communicating processes based on a language for applicative multiprogramming
• Semantics of communicating processes
• Predicative programming Part I
• A Theory of Communicating Sequential Processes
• A Powerdomain Construction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item