The following pages link to (Q4018066):
Displayed 24 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- An algebra of behavioural types (Q418153) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Decoding choice encodings (Q1854385) (← links)
- A theory of bisimulation for the \(\pi\)-calculus (Q1901699) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- SPEC: An Equivalence Checker for Security Protocols (Q3179281) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Divergence and unique solution of equations (Q5111619) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)