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)