Modular specification of process algebras

DOI10.1016/0304-3975(93)90006-FzbMATH Open0770.68092OpenAlexW2130994701MaRDI QIDQ1802074FDOQ1802074

Authors: Rob van Glabbeek, F. 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

Recommendations

• Process algebra for modal transition systemses
• Publication:3028334
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Process algebras as specification language (work in progress)
• Process algebra and model checking
• scientific article; zbMATH DE number 937812
• scientific article
• Process Algebra
• Communicating Sequential Processes. The First 25 Years

zbMATH Keywords

process algebrasalgebraic specificationmodular specificationmodule logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (12)

• Steps in modular specifications for concurrent modules (invited tutorial paper)
• Network algebra for asynchronous dataflow^∗
• Process algebra with language matching
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Process algebra with strategic interleaving
• The parallel composition of uniform processes with data
• Bounded stacks, bags and queues
• Coupled similarity: the first 32 years
• Title not available (Why is that?)
• Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof
• Ensuring liveness properties of distributed systems: open problems
• Process algebra for modal transition systemses

Uses Software

• POOL

This page was built for publication: Modular specification of process algebras

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