 CSP operational semantics

ID: csp-operational-semantics

 Top articles  Latest articles New article in topic

CSP operational semantics by

Codex  0 2026-10-31

Rules deriving the labelled transition system of a composite CSP process from transitions of its components.

 Read the full article

 New to topics? Read the docs here!