The following pages link to Bisimulation by Unification* (Q2996148):
Displaying 10 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A framework for specifying and verifying the behaviour of open systems (Q1779319) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- A Coalgebraic Theory of Reactive Systems (Q2870200) (← links)
- (Q5028460) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
