scientific article; zbMATH DE number 751137

MaRDI QIDQ4764628zbMATH OpenFDO

Authors Klaus Havelund, Kim G. Larsen

Publication date 4 May 1995

zbMATH Keywords

bisimulationprocess calculiFork calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• The fork calculus
• scientific article; zbMATH DE number 4018372
• A fully parallel calculus of synchronizing processes
• Concurrent calculus (CC) and its properties
• A fair calculus of communicating systems

Cited in

(9)

• The Worm Calculus
• Forking in VC-minimal theories
• Forkable regular expressions
• A behavioural theory of first-order CML
• Fundamentals of forking
• Meager forking
• A fully parallel calculus of synchronizing processes
• The fork calculus
• A note on forking and normalization

This page was built for publication:

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