Observational Mu-Calculus

Authors

  • Julian C. Bradfield
  • Perdita Stevens

DOI:

https://doi.org/10.7146/brics.v6i5.20062

Abstract

We propose an extended modal mu-calculus to provide an `assembly
language' 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

No. 5 (1999): RS-5 Observational Mu-Calculus

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.