The fork calculus

DOI10.1007/3-540-56939-1_101zbMath1418.68142OpenAlexW2097139655MaRDI QIDQ4630290

Klaus Havelund, Kim Guldstrand Larsen

Publication date: 29 March 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56939-1_101

zbMATH Keywords

operational semanticsnormal formsequential compositionlabeled transition systemprocess term

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Model-Checking Helena Ensembles with Spin ⋮ Role-based development of dynamically evolving esembles ⋮ From CML to its process algebra

Cites Work

• Structured operational semantics and bisimulation as a congruence
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The fork calculus