Concurrency semantics - Misplaced Pages

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Concurrency semantics" – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message)

Subfields
Computational Lexical (lexis, lexicology) Statistical Structural
Topics
Analysis Compositionality Context (language use) Prototype theory Force dynamics Semantic feature Semantic gap Theory of descriptions
Analysis
Latent Computational Machine-learning
Applications
Semantic file system Semantic desktop Semantic matching Semantic parsing Semantic similarity Semantic query Semantic Web Semantic wiki

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

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

References

This computer science article is a stub. You can help Misplaced Pages by expanding it.