Concurrency semantics

Source: Wikipedia, the free encyclopedia.

In

process calculi, the actor model, or Petri nets
.

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