A context dependent equivalence between processes
From MaRDI portal
Publication:1088404
DOI10.1016/0304-3975(87)90007-7zbMath0612.68027OpenAlexW1975155342MaRDI QIDQ1088404
Publication date: 1987
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(87)90007-7
context informationenvironmentsequivalences between nondeterministic and concurrent processesparameterized bisimulation equivalence
Related Items
A semantic characterization for faults in replicated systems, On the operational semantics of nondeterminism and divergence, Extending modal transition systems with structured labels, SMT-based generation of symbolic automata, Compositional equivalences based on open pNets, Modular verification for shared-variable concurrent programs, A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories, Factorisation of finite state machines under strong and observational equivalences, Topological Construction of Parameterized Bisimulation Limit, A compositional protocol verification using relativized bisimulation, Parametric and Quantitative Extensions of Modal Transition Systems, A linear-time-branching-time spectrum for behavioral specification theories, A Theory for the Composition of Concurrent Processes, Active Evaluation Contexts for Reaction Semantics
Cites Work
- Calculi for synchrony and asynchrony
- A complete inference system for a class of regular behaviours
- A proof-theoretic characterization of observational equivalence
- A calculus of communicating systems
- Testing equivalences for processes
- A lattice-theoretical fixpoint theorem and its applications
- A Theory of Communicating Sequential Processes
- Algebraic laws for nondeterminism and concurrency
- A term model for synchronous processes
- 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
