Skip to content

Concurrency Theory

← Back to Domain-Specific Abstractions by Domain

4 domain-specific abstractions whose origin domain is Concurrency Theory.

  • Communicating sequential processes — A process algebra for specifying and reasoning about concurrent systems as sequential processes that synchronize through named communication events or channels.
  • Event structure — A concurrency model representing events with causal enabling, conflict, and consistency relations that determine possible executions.
  • Temporal Process Language — A timed process calculus extending CCS with multiparty synchronization on an abstract global clock signal.
  • Unbounded nondeterminism — A concurrency-model behavior in which a computation may make an unboundedly delayed or infinitely branching choice while fairness can still require eventual progress.