Modular specification of process algebras
From MaRDI portal
Recommendations
- Process algebra for modal transition systemses
- scientific article; zbMATH DE number 4016181
- 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; zbMATH DE number 139606
- Process Algebra
- Communicating Sequential Processes. The First 25 Years
Cites work
- scientific article; zbMATH DE number 4016181 (Why is no real title available?)
- scientific article; zbMATH DE number 4157900 (Why is no real title available?)
- scientific article; zbMATH DE number 3819086 (Why is no real title available?)
- scientific article; zbMATH DE number 3902016 (Why is no real title available?)
- scientific article; zbMATH DE number 3990852 (Why is no real title available?)
- scientific article; zbMATH DE number 4022620 (Why is no real title available?)
- scientific article; zbMATH DE number 4037177 (Why is no real title available?)
- scientific article; zbMATH DE number 4037178 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- scientific article; zbMATH DE number 3550662 (Why is no real title available?)
- scientific article; zbMATH DE number 4001464 (Why is no real title available?)
- scientific article; zbMATH DE number 795666 (Why is no real title available?)
- scientific article; zbMATH DE number 3337681 (Why is no real title available?)
- scientific article; zbMATH DE number 3019695 (Why is no real title available?)
- A calculus of communicating systems
- Algebra of communicating processes with abstraction
- Algebraic specification and proof of a distributed recovery algorithm
- Algèbre de processus et synchronisation
- Branching time and abstraction in bisimulation semantics
- Completeness of calculii for axiomatically defined classes of algebras
- Global renaming operators in concrete process algebra
- Modeling concurrency with partial orders
- Module algebra
- On the consistency of Koomen's fair abstraction rule
- Process Algebra
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator
- Recursive process definitions with the state operator
- Refusal testing
- Specification-oriented semantics for communicating processes
- Testing equivalences for processes
- The analysis of concurrent systems. Cambridge, September 12-16, 1983. Proceedings
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Views of queues
Cited in
(14)- Network algebra for asynchronous dataflow∗
- Steps in modular specifications for concurrent modules (invited tutorial paper)
- 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
- scientific article; zbMATH DE number 4164154 (Why is no real title available?)
- An algebra of modular systems: static and dynamic perspectives
- Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof
- Ensuring liveness properties of distributed systems: open problems
- Process algebras as specification language (work in progress)
- Process algebra for modal transition systemses
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)
