𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A saturation method for the modal μ-calculus over pushdown systems

✍ Scribed by M. Hague; C.-H.L. Ong

Book ID
113641964
Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
742 KB
Volume
209
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A modal μ-calculus and a proof system fo
A modal μ-calculus and a proof system for value passing processes
✍ Dilian Gurov; Sergei Berezin; B.M. Kapron 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 31 KB

A first-order modal µ-calculus is introduced as a convenient logic for reasoning about processes with value passing. For this logic we present a proof system for model checking sequential processes defined in the value passing CCS. Soundness of the proof system is established. The use of the system