Specification and top-down design of distributed systems

DOI10.1016/0022-0000(87)90026-2MaRDI QIDQ1089790zbMATH OpenOpenAlexFDO

Authors 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

concurrent communication agentscorrectnessinferencenondeterministic

Mathematics Subject Classification ID

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

Review text

See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 4-28 (1985; Zbl 0563.68020).

Cites work

• A calculus of communicating systems
• A Powerdomain Construction
• A Theory of Communicating Sequential Processes
• Denotational semantics of communicating processes based on a language for applicative multiprogramming
• scientific article; zbMATH DE number 3881875 (Why is no real title available?)
• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• scientific article; zbMATH DE number 3890713 (Why is no real title available?)
• scientific article; zbMATH DE number 3808940 (Why is no real title available?)
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3956416 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3493844 (Why is no real title available?)
• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• scientific article; zbMATH DE number 3581600 (Why is no real title available?)
• scientific article; zbMATH DE number 3802794 (Why is no real title available?)
• Partial abstract types
• Power domains
• Predicative programming Part I
• Predicative specifications for functional programs describing communicating networks
• Semantics of communicating processes

Cited in

(6)

• Specifying distributed computer architectures in AADL
• Specification styles in distributed systems design and verification
• scientific article; zbMATH DE number 1820085 (Why is no real title available?)
• scientific article; zbMATH DE number 1277093 (Why is no real title available?)
• scientific article; zbMATH DE number 2080776 (Why is no real title available?)
• Interfaces between languages for communicating systems

This page was built for publication: Specification and top-down design of distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1089790)