✦ LIBER ✦

A note on model checking the modal ν-calculus

✍ Scribed by Glynn Winskel

Book ID: 107948663
Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 695 KB
Volume: 83
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(91)90043-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking the full modal mu-calculu

Model checking the full modal mu-calculus for infinite sequential processes

✍ Olaf Burkart; Bernhard Steffen 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 983 KB

It is known that pushdown processes have a decidable monadic second-order theory (Muller and Schupp, Theoret. Comput. Sci. 37 (1985) 51-75) and that this result covers the model-checking problem for the modal mu-calculus. Unfortunately, the corresponding decidability procedure is not practical due t

Efficient on-the-fly model-checking for

Efficient on-the-fly model-checking for regular alternation-free mu-calculus

✍ Radu Mateescu; Mihaela Sighireanu 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 440 KB

A note on checking the Clayton model ass

A note on checking the Clayton model assumption based on left-truncated bivariate data

✍ Antai Wang 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 199 KB

A Note on Dynamics in the Modal Interpre

A Note on Dynamics in the Modal Interpretation

✍ Guido Bacciagaluppi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 98 KB

On decidability and model checking for a

On decidability and model checking for a first order modal logic for value-passing processes

✍ Rui Xue; Huimin Lin 📂 Article 📅 2003 🏛 Science in China Press (SCP) 🌐 English ⚖ 255 KB

A note on the evaluation of (ν Σs)min fo

A note on the evaluation of (ν Σs)min for the effective width model

✍ M.M.R. Williams 📂 Article 📅 1966 🏛 Elsevier Science ⚖ 120 KB