@article{Bradfield_Stevens_1999, title={Observational Mu-Calculus}, volume={6}, url={https://tidsskrift.dk/brics/article/view/20062}, DOI={10.7146/brics.v6i5.20062}, abstractNote={We propose an extended modal mu-calculus to provide an `assembly<br />language’ for modal logics for real time, value-passing calculi,<br />and other extended models of computation.}, number={5}, journal={BRICS Report Series}, author={Bradfield, Julian C. and Stevens, Perdita}, year={1999}, month={Jan.} }