Concurrency semantics

This article relies largely or entirely on a single source . Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Concurrency semantics" – news · newspapers · books · scholar · JSTOR (July 2025)

Subfields
Computational Lexical Lexis Lexicology Statistical Structural
Topics
Analysis Compositionality Context Prototype theory Force dynamics Semantic feature Semantic gap Theory of descriptions
Analysis
Latent Computational Machine learning
Applications
Desktop File system Matching Parsing Querying web wiki Similarity

Types
Action Algebraic Axiomatic Categorical Concurrency Denotational Game Operational Predicate transformational
Theory
Abstract interpretation Abstract semantic graph

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