¶
Concurrency
¶
Models of concurrency
Process calculi
Communicating Sequential Processes
(CSP)
Calculus of Communicating Systems
(CCS)
π
\pi
π
-calculus
Algebra of Communicating Processes
(ACP)
Ambient calculus
Other models
Petri nets
Event structures
Dataflow networks
(Kahn 1974)
Communicating automata
(Arnold 1981)
Concurrent
λ
\lambda
λ
-calculus (Boudol TAPSOFT 1989)