scientific article; zbMATH DE number 3862421

MaRDI QIDQ3330491zbMATH OpenFDO

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

Publication date 1984

zbMATH Keywords

communicating processescomposition toolsconcurrencyfixed point equationshandshakinghierarchical and modular systemsprocess algebrasystem architectures

Mathematics Subject Classification ID

Theory of operating systems (68N25) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Algebra of communicating processes with abstraction
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
• Top-down design and the algebra of communicating processes
• An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
• scientific article; zbMATH DE number 3894457

Cited in

(11)

• Top-down design and the algebra of communicating processes
• Toward an algebraic theory of systems
• Algebraic approach to the design of distributed computing systems
• scientific article; zbMATH DE number 5298331 (Why is no real title available?)
• scientific article; zbMATH DE number 1324839 (Why is no real title available?)
• scientific article; zbMATH DE number 2000405 (Why is no real title available?)
• scientific article; zbMATH DE number 1528724 (Why is no real title available?)
• scientific article; zbMATH DE number 1569066 (Why is no real title available?)
• scientific article; zbMATH DE number 2098367 (Why is no real title available?)
• An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
• Intuitive modelling and formal analysis of collective behaviour in foraging ants

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