The fork calculus

DOI10.1007/3-540-56939-1_101MaRDI QIDQ4630290zbMATH OpenOpenAlexFDO

Authors Klaus Havelund, Kim G. 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

labeled transition systemnormal formoperational semanticsprocess termsequential composition

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)

Recommendations

• scientific article; zbMATH DE number 751137
• scientific article; zbMATH DE number 4018372
• Concurrent calculus (CC) and its properties
• A fully parallel calculus of synchronizing processes
• A partial ordering semantics for CCS

Cites work

• Algebraic laws for nondeterminism and concurrency
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• scientific article; zbMATH DE number 177855 (Why is no real title available?)
• Structured operational semantics and bisimulation as a congruence

Cited in

(10)

• Fundamentals of forking
• Meager forking
• Role-based development of dynamically evolving esembles
• Forkable regular expressions
• Model-Checking Helena Ensembles with Spin
• A note on forking and normalization
• scientific article; zbMATH DE number 751137 (Why is no real title available?)
• Forking in VC-minimal theories
• The Worm Calculus
• From CML to its process algebra

This page was built for publication: The fork calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4630290)