The following pages link to Barbed bisimulation (Q5204357):
Displaying 11 items.
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
- On the semantics of durational actions (Q5958612) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- Process calculus based upon evaluation to committed form (Q6104363) (← links)
- Constraints as processes (Q6104383) (← links)
- A model of actors and grey failures (Q6137831) (← links)
- Mixed choice in session types (Q6543263) (← links)
- Graph types for monadic mobile processes (Q6567787) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)