scientific article; zbMATH DE number 3928334

MaRDI QIDQ3702500zbMATH OpenFDO

Authors J. A. Bergstra, Jan Willem Klop, John V. Tucker

Publication date 1985

zbMATH Keywords

asynchronous communicationCalculus of Communicating Systemscommunicating processesconcurrent processesstimulus-response mechanism

Mathematics Subject Classification ID

Theory of operating systems (68N25) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Process algebra for synchronous communication
• scientific article; zbMATH DE number 1361126
• scientific article; zbMATH DE number 3978362
• scientific article; zbMATH DE number 3903948
• Algèbre de processus et synchronisation

Cited in

(15)

• Global renaming operators in concrete process algebra
• Real space process algebra
• Process algebra with guards: Combining hoare logic with process algebra
• Linda-based applicative and imperative process algebras
• Asynchronous process calculi: The first- and higher-order paradigms
• scientific article; zbMATH DE number 4149528 (Why is no real title available?)
• scientific article; zbMATH DE number 1361126 (Why is no real title available?)
• scientific article; zbMATH DE number 1786643 (Why is no real title available?)
• scientific article; zbMATH DE number 2090146 (Why is no real title available?)
• Enabling synchronous and asynchronous communications in CSP for SOC
• Equations for asynchronous message passing
• First-order axioms for asynchrony
• Runners for interleaving algebraic effects
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Issues in the design of a parallel object-oriented language

This page was built for publication:

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