A general conservative extension theorem in process algebras with inequalities
From MaRDI portal
Publication:1391791
DOI10.1016/S0304-3975(96)00292-7zbMath0901.68111OpenAlexW1946227193MaRDI QIDQ1391791
Chris Verhoef, Pedro R. D'Argenio
Publication date: 23 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00292-7
Related Items (8)
A format for semantic equivalence comparison ⋮ A general SOS theory for the specification of probabilistic transition systems ⋮ Revisiting sequential composition in process calculi ⋮ Variable binding operators in transition system specifications ⋮ Process algebra for performance evaluation ⋮ Processes with local and global liveness requirements ⋮ A conservative look at operational semantics with variable binding ⋮ A theory of stochastic systems. II: Process algebra
Cites Work
- Observation equivalence as a testing equivalence
- Transition system specifications with negative premises
- Bisimulation and divergence
- A complete inference system for a class of regular behaviours
- Algebra of communicating processes with abstraction
- Global renaming operators in concrete process algebra
- Concurrency and atomicity
- CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
- Structured operational semantics and bisimulation as a congruence
- A conservative look at operational semantics with variable binding
- Turning SOS rules into equations
- The algebra of timed processes, ATP: Theory and application
- The algebra of communicating processes with empty process
- ACP '95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17--18, 1995
- Discrete time process algebra
- Real time process algebra
- Process algebra for synchronous communication
- Process Algebra
- Bisimulation can't be traced
- Branching time and abstraction in bisimulation semantics
- The meaning of negative premises in transition system specifications
- OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
- On relating concurrency and nondeterminism
- 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
- Unnamed Item
This page was built for publication: A general conservative extension theorem in process algebras with inequalities
