The following pages link to (Q3796726):
Displaying 5 items.
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- Semantics of nondeterministic asynchronous broadcast networks (Q2366562) (← links)
- A singleton failures semantics for communicating sequential processes (Q2432234) (← 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)
- (Q4422085) (← links)