Concurrency semantics

Semantics
  • Linguistic
  • Logical
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
Semantics of
programming languages
Types
Theory
  • v
  • t
  • e

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.

  • v
  • t
  • e