UTCP: Compositional Semantics for Shared-Variable Concurrency

DOI10.1007/978-3-319-70848-5_16zbMath1498.68180OpenAlexW2767756511MaRDI QIDQ5045469

Andrew Butterfield

Publication date: 4 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-70848-5_16

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Theoretical and practical approaches to the denotational semantics for MDESL based on UTP

This page was built for publication: UTCP: Compositional Semantics for Shared-Variable Concurrency