scientific article; zbMATH DE number 751137

zbMATH Open0817.68101MaRDI QIDQ4764628FDOQ4764628

Authors: Klaus Havelund, Kim G. Larsen 

Publication date: 4 May 1995

Title of this publication is not available (Why is that?)

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

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)

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)