Observational Mu-Calculus

Julian C. Bradfield
Perdita Stevens

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.

 

Last modified: 2003-06-08 by webmaster.