CCS (Calculus of Communicating Systems)
E230808
UNEXPLORED
CCS (Calculus of Communicating Systems) is a formal process calculus introduced by Robin Milner for modeling, specifying, and reasoning about concurrent, communicating systems in computer science.
Aliases (1)
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Robin Milner
→
|
knownFor |
|
Robin Milner
("A Calculus of Communicating Systems")
→
|
notableWork |