文章基本信息
- 标题：Observational Mu-Calculus
- 本地全文：下载
- 作者：Julian C. Bradfield ; Perdita Stevens
- 期刊名称：BRICS Report Series
- 印刷版ISSN：0909-0878
- 出版年度：1999
- 卷号：6
- 期号：5
- 出版社：Aarhus University
- 摘要：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.
