The following pages link to (Q3030243):
Displaying 4 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Communicating sequential processes. The first 25 years. Symposium on the occasion of 25 years of CSP, London, UK, July 7--8, 2004. Revised invited papers (Q2572494) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)