Semantics of communicating processes

DOI10.1016/S0019-9958(84)80048-0MaRDI QIDQ3719813zbMATH OpenFDO

Authors Manfred Broy

Publication date 1984

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(84)80048-0

zbMATH Keywords

advanced fixed point theorycommunicating processesfully abstract denotational semanticsobservable behavioroperational semanticsterm rewriting rules

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 92601
• Specification-oriented semantics for communicating processes
• Denotational semantics of communicating sequential programs
• scientific article; zbMATH DE number 3956422
• scientific article; zbMATH DE number 4062561

Cited in

(44)

• A language for linking modules into systems
• Specification-oriented semantics for communicating processes
• Denotational semantics of communicating sequential programs
• Concurrent histories: a basis for observing distributed systems
• Specification and top-down design of distributed systems
• Semantics of finite and infinite networks of concurrent communicating agents
• Trace, failure and testing equivalences for communicating processes
• Foundations of a theory of synchronous systems
• Language of asynchronous functional circuits and its operational semantics
• Semantics of nondeterministic asynchronous broadcast networks
• A process algebra for interworkings.
• Dealing denotationally with stream-based communication
• Theoretical aspects of communication-centred programming
• An operational semantics for shared messaging communication
• Observed Communication Semantics for Classical Processes
• scientific article; zbMATH DE number 995891 (Why is no real title available?)
• scientific article; zbMATH DE number 3846849 (Why is no real title available?)
• scientific article; zbMATH DE number 3856434 (Why is no real title available?)
• Axiomatic semantics of communicating sequential processes
• Synchronous and asynchronous experiments on processes
• scientific article; zbMATH DE number 3902015 (Why is no real title available?)
• scientific article; zbMATH DE number 3902017 (Why is no real title available?)
• The denotational semantics of dynamic networks of processes
• scientific article; zbMATH DE number 3926215 (Why is no real title available?)
• scientific article; zbMATH DE number 3928330 (Why is no real title available?)
• scientific article; zbMATH DE number 3956422 (Why is no real title available?)
• Proving systolic systems correct
• A CCS semantics for NIL
• Broadcasting buffering communication
• scientific article; zbMATH DE number 4051578 (Why is no real title available?)
• scientific article; zbMATH DE number 92601 (Why is no real title available?)
• scientific article; zbMATH DE number 519792 (Why is no real title available?)
• scientific article; zbMATH DE number 2087417 (Why is no real title available?)
• scientific article; zbMATH DE number 781171 (Why is no real title available?)
• Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems
• Operational semantics for signal handling
• Fully abstract semantics for higher order communicating systems (extended abstract)
• Separation Logic Semantics for Communicating Processes
• scientific article; zbMATH DE number 5263402 (Why is no real title available?)
• Communicating processes with value-passing and assignments
• A language for the description of interacting parallel processes. II
• Semantics of communication in simple multimodular programs
• A linear-history semantics for languages for distributed programming
• An operational semantics of occam

This page was built for publication: Semantics of communicating processes

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