Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus

DOI10.1016/0020-0190(96)00038-5zbMath0875.68469OpenAlexW1985281673WikidataQ112879896 ScholiaQ112879896MaRDI QIDQ1350215

Atsushi Togashi, Shigetomo Kimura, Norio Shiratori

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(96)00038-5

zbMATH Keywords

Algorithms\(\mu\)-calculusCCSInductive inferenceAlgebraic processProcess synthesis

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Related Items (1)

Towards the hierarchical verification of reactive systems

Cites Work

• Modal logics for communicating systems
• Results on the propositional \(\mu\)-calculus
• Inductive synthesis of recursive processes from logical properties
• A logic for the description of non-deterministic programs and their properties
• Unnamed Item
• Unnamed Item

This page was built for publication: Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus