Concurrency_semantics

Concurrency semantics

Concurrency semantics

Add article description

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).


Stub icon

This computer science article is a stub. You can help Wikipedia by expanding it.
Share this article:

This article uses material from the Wikipedia article Concurrency_semantics, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.