Analysing mu-calculus properties of pushdown systems

被引：0

作者：

Oxford University, Computing Laboratory, United Kingdom ^{[1
]}

机构：

来源：

Lect. Notes Comput. Sci. | / 187-192期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Computer software - Flow graphs - Calculations - Temporal logic

引用

共 50 条

[1] Analysing Mu-Calculus Properties of Pushdown Systems
Hague, Matthew
Ong, C. -H. Luke
MODEL CHECKING SOFTWARE, 2010, 6349 : 187 - 192
[2] Games for the mu-calculus
Niwinski, D
Walukiewicz, I
THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
[3] A modal mu-calculus for durational transition systems
Seidl, H
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 128 - 137
[4] Domain mu-calculus
Zhang, GQ
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2003, 37 (04): : 337 - 364
[5] EQUATIONAL MU-CALCULUS
NIWINSKI, D
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 208 : 167 - 176
[6] Lukasiewicz mu-calculus
Mio, Matteo
Simpson, Alex
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126): : 87 - 104
[7] The Horn mu-calculus
Charatonik, W
McAllester, D
Niwinski, D
Podelski, A
Walukiewicz, I
THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 58 - 69
[8] Continuous Fragment of the mu-Calculus
Fontaine, Gaelle
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 139 - 153
[9] Characteristic mu-Calculus Formulas for Underspecified Transition Systems
Fecher, Harald
Steffen, Martin
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (02) : 103 - 116
[10] Transfinite extension of the Mu-calculus
Bradfield, J
Duparc, J
Quickert, S
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 384 - 396