This is an old revision of this page, as edited by Pleasantville (talk | contribs) at 15:33, 13 July 2019 ({{Semantics}}). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
 | This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Concurrency semantics" – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message) |
| Semantics | ||||||||
|---|---|---|---|---|---|---|---|---|
|
||||||||
|
Semantics of programming languages | ||||||||
|
||||||||
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.
 | This computer science article is a stub. You can help Wikipedia by expanding it. |
