---
title: "Concurrency semantics"
chunk: 1/1
source: "https://en.wikipedia.org/wiki/Concurrency_semantics"
category: "reference"
tags: "science, encyclopedia"
date_saved: "2026-05-05T11:32:01.957195+00:00"
instance: "kb-cron"
---

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 ==