Bob
Have a question related to this hub?
Alice
Got something to say related to this hub?
Share it here.
 | 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).
 | This computer science article is a stub. You can help Wikipedia by expanding it. |
