A context dependent equivalence between processes
From MaRDI portal
Publication:1088404
DOI10.1016/0304-3975(87)90007-7zbMath0612.68027MaRDI 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 information; environments; equivalences between nondeterministic and concurrent processes; parameterized bisimulation equivalence
68N25: Theory of operating systems
Related Items
Factorisation of finite state machines under strong and observational equivalences, A compositional protocol verification using relativized bisimulation, A semantic characterization for faults in replicated systems, On the operational semantics of nondeterminism and divergence