Observational Mu-Calculus
Julian C. Bradfield February 1999 |
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 Available as PostScript, PDF, DVI. |