Pages that link to "Item:Q5756612"
From MaRDI portal
The following pages link to Generic Forward and Backward Simulations (Q5756612):
Displayed 15 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure (Q890383) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Simulations Up-to and Canonical Preorders (Q2871827) (← links)
- Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems (Q2873666) (← links)
- Pre-Galois Connection on Coalgebras for Generic Component Refinement (Q2873691) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- (Q4585069) (← links)
- (Q5009440) (← links)
- (Q5028446) (← links)