Concurrency semantics

From HandWiki

Revision as of 06:19, 27 June 2023 by QCDvac (talk | contribs) (change)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Types
Action Algebraic Axiomatic Categorical Concurrency Denotational Game Operational Predicate transformational
Theory
Abstract interpretation Abstract semantic graph Semantic matching
Analysis
Latent Machine-learning
Applications
Semantic file system Semantic Web Semantic wiki

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

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Concurrency semantics. Read more

Retrieved from "https://handwiki.org/wiki/index.php?title=Concurrency_semantics&oldid=3000756"