The following pages link to Strategies as concurrent processes (Q283745):
Displayed 4 items.
- Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)