The following pages link to (Q4018066):
Displayed 10 items.
- Universal axioms for bisimulations (Q685411) (← 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)
- A semantic framework for open processes (Q2463561) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)