Community hub
0 subscribers7 pages, 0 posts
Recent from talks
All channels
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Contribute something
Welcome to the community hub built to collect knowledge and have discussions related to Concurrency semantics.
Nothing was collected or created yet.
Concurrency semantics
View on Wikipediafrom Wikipedia
 | This article relies largely or entirely on a single source. (July 2025) |
| Semantics | ||||||||
|---|---|---|---|---|---|---|---|---|
|
||||||||
|
Semantics of programming languages | ||||||||
|
||||||||
In computer science, concurrency semantics[1] 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
[edit]- ^ 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.
 | This computer science article is a stub. You can help Wikipedia by expanding it. |