A modal mu-calculus for durational transition systems

被引：3

|

作者：

Seidl, H ^{[1
]}

机构：

[1] UNIV TRIER,FB INFORMAT 4,D-54286 TRIER,GERMANY

来源：

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/LICS.1996.561312

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

下载

收藏

页码：128 / 137

页数：10

相关论文

共 50 条

[21] Selective Mu-calculus and formula-based equivalence of transition systems
Barbuti, R
De Francesco, N
Santone, A
Vaglini, G
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 59 (03) : 537 - 556
[22] Effective Cut-elimination for a Fragment of Modal mu-calculus
Mints, Grigori
STUDIA LOGICA, 2012, 100 (1-2) : 279 - 287
[23] Syntactic cut-elimination for a fragment of the modal mu-calculus
Bruennler, Kai
Studer, Thomas
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 1838 - 1853
[24] Partial-order reduction in the weak modal mu-calculus
Ramakrishna, YS
Smolka, SA
CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 5 - 24
[25] Effective Cut-elimination for a Fragment of Modal mu-calculus
Grigori Mints
Studia Logica, 2012, 100 : 279 - 287
[26] Games for the mu-calculus
Niwinski, D
Walukiewicz, I
THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
[27] Analysing Mu-Calculus Properties of Pushdown Systems
Hague, Matthew
Ong, C. -H. Luke
MODEL CHECKING SOFTWARE, 2010, 6349 : 187 - 192
[28] Spatial logic of tangled closure operators and modal mu-calculus
Goldblatt, Robert
Hodkinson, Ian
ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (05) : 1032 - 1090
[29] Bounded game-theoretic semantics for modal mu-calculus
Hella, Lauri
Kuusisto, Antti
Ronnholm, Raine
INFORMATION AND COMPUTATION, 2022, 289
[30] EQUATIONAL MU-CALCULUS
NIWINSKI, D
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 208 : 167 - 176

← 1 2 3 4 5 →