Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Concurrency semantics
We don't have any images related to Concurrency semantics yet.
We don't have any YouTube videos related to Concurrency semantics yet.
We don't have any PDF documents related to Concurrency semantics yet.
We don't have any Books related to Concurrency semantics yet.
We don't have any archived web articles related to Concurrency semantics yet.

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.

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