Communication and Concurrency
E232890
UNEXPLORED
Communication and Concurrency is a foundational book in theoretical computer science that introduces process calculi, particularly the Calculus of Communicating Systems (CCS), to model and reason about concurrent systems.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Robin Milner
→
|
notableWork |