Pages that link to "Communicating Sequential Processes"
Jump to navigation
Jump to search
The following pages link to Communicating Sequential Processes:
Displaying 21 items.
- Tony Hoare (← links)
- Merton College, Oxford (← links)
- Inter-process communication (← links)
- Formal methods (← links)
- Programming Research Group (← links)
- List of terms relating to algorithms and data structures (← links)
- Process calculus (← links)
- PEPA (← links)
- Actor model and process calculi (← links)
- BCS-FACS (← links)
- Concurrent computing (← links)
- David May (computer scientist) (← links)
- G. Mike Reed (← links)
- Jim Woodcock (← links)
- List of pioneers in computer science (← links)
- Actor model and process calculi history (← links)
- Denotational semantics of the Actor model (← links)
- Wright (ADL) (← links)
- Flow-based programming (← links)
- VerilogCSP (← links)
- Talk:Actor model and process calculi (← links)