scientific article; zbMATH DE number 4037177

MaRDI QIDQ3776606zbMATH OpenFDO

Authors Jos C. M. Baeten, Rob van Glabbeek

Publication date 1987

zbMATH Keywords

concurrencyempty processmergeprocess algebraterminationtick

Mathematics Subject Classification ID

Theory of operating systems (68N25) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 177854
• Process algebra and conditional composition
• Process Algebra
• Communicating Sequential Processes. The First 25 Years
• Hybrid process algebra
• An algorithm for direct construction of complete merged processes
• Process Algebra: An Algebraic Theory of Concurrency
• scientific article; zbMATH DE number 1555176
• scientific article; zbMATH DE number 1189061
• scientific article; zbMATH DE number 1412988

Cited in

(15)

• Merging regular processes by means of fixed-point theory
• Structured operational semantics and bisimulation as a congruence
• An algebra for process creation
• Process algebra with guards: Combining hoare logic with process algebra
• The algebra of communicating processes with empty process
• Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
• Modular specification of process algebras
• A process calculus with finitary comprehended terms
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• Deadlock checking by a behavioral effect system for lock handling
• Termination, deadlock and divergence
• CONCUR 2005 – Concurrency Theory
• Duplication of constants in process algebra
• SOS formats and meta-theory: 20 years after
• Revisiting sequential composition in process calculi

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 Q3776606)