Autonomous Units and Their Semantics - The Parallel Case

DOI10.1007/978-3-540-71998-4_4zbMath1196.68158OpenAlexW1587874729MaRDI QIDQ3591063

Sabine Kuske, Hans-Joerg Kreowski

Publication date: 10 September 2007

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71998-4_4

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

Graph Transformation Units – An Overview ⋮ Autonomous Units and Their Semantics – The Concurrent Case

This page was built for publication: Autonomous Units and Their Semantics - The Parallel Case