Generic Forward and Backward Simulations
From MaRDI portal
Publication:5756612
DOI10.1007/11817949_27zbMath1151.68532OpenAlexW2124315269MaRDI QIDQ5756612
Publication date: 4 September 2007
Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11817949_27
Related Items
Reversibility in the higher-order \(\pi\)-calculus, Traces, Executions and Schedulers, Coalgebraically, ``Keep definition, change category -- a practical approach to state-based system calculi, Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure, Behavioural equivalences for coalgebras with unobservable moves, Unnamed Item, Unnamed Item, Probabilistic anonymity via coalgebraic simulations, Quantitative simulations by matrices, Unnamed Item, (Bi)simulations up-to characterise process semantics, Relational presheaves, change of base and weak simulation, Simulations Up-to and Canonical Preorders, Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems, Pre-Galois Connection on Coalgebras for Generic Component Refinement