Observational Mu-Calculus
DOI:
https://doi.org/10.7146/brics.v6i5.20062Abstract
We propose an extended modal mu-calculus to provide an `assemblylanguage' for modal logics for real time, value-passing calculi,
and other extended models of computation.
Downloads
Published
1999-01-05
How to Cite
Bradfield, J. C., & Stevens, P. (1999). Observational Mu-Calculus. BRICS Report Series, 6(5). https://doi.org/10.7146/brics.v6i5.20062
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.