Article · Wikipedia archive · Last revised Jun 6, 2026

Concurrency semantics

In computer science, concurrency semantics is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is often based on mathematical theories of concurrency such as various process calculi, the actor model, or Petri nets.

Last revised
Jun 6, 2026
Read time
≈ 1 min
Length
86 w
Citations
1
Source
Wikipedia ↗

In computer science, concurrency semantics1 is a way to give meaning to concurrent systems in a mathematically rigorous way. Concurrency semantics is often based on mathematical theories of concurrency such as various process calculi, the actor model, or Petri nets.

A more detailed account of concurrency semantics is given here: Concurrency (computer science).

References

References

  1. Pichon-Pharabod, Jean; Sewell, Peter (11 January 2016). "A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions". dl.acm.org. Association for Computing Machinery. pp. 622–633. doi:10.1145/2837614.2837616. Retrieved 29 July 2025.