Modular specification of process algebras

DOI10.1016/0304-3975(93)90006-FzbMath0770.68092OpenAlexW2130994701MaRDI QIDQ1802074

Robert J. van Glabbeek, Frits W. Vaandrager

Publication date: 8 August 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90006-f

zbMATH Keywords

algebraic specificationprocess algebrasmodular specificationmodule logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65)

Related Items

Coupled similarity: the first 32 years, Process algebra with language matching, Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof, Network algebra for asynchronous dataflow^∗, Process algebra with strategic interleaving, Ensuring liveness properties of distributed systems: open problems, The parallel composition of uniform processes with data

Uses Software

• POOL

Cites Work

• Refusal testing
• Recursive process definitions with the state operator
• Algèbre de processus et synchronisation
• Specification-oriented semantics for communicating processes
• Algebra of communicating processes with abstraction
• The analysis of concurrent systems. Cambridge, September 12-16, 1983. Proceedings
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Algebraic specification and proof of a distributed recovery algorithm
• On the consistency of Koomen's fair abstraction rule
• Modeling concurrency with partial orders
• Global renaming operators in concrete process algebra
• Views of queues
• A calculus of communicating systems
• Testing equivalences for processes
• Completeness of calculii for axiomatically defined classes of algebras
• Module algebra
• Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
• Process Algebra
• Branching time and abstraction in bisimulation semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item