AN EXPRESSIVE LOGIC FOR A PROCESS ALGEBRA WITH SILENT ACTIONS

被引：0

|

作者：

GRAF, S

SIFAKIS, J

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 398卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：44 / 61

页数：18

相关论文

共 50 条

[1] AN EXPRESSIVE LOGIC FOR A PROCESS ALGEBRA WITH SILENT ACTIONS
GRAF, S
SIFAKIS, J
[J]. TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 44 - 61
[2] The expressive power of temporal logic of actions
Estrin, A
Kaminski, M
[J]. CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 274 - 287
[3] The expressive power of temporal logic of actions
Estrin, A
Kaminski, M
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (05) : 839 - 859
[4] Computation paths logic: An expressive, yet elementary, process logic
Harel, D
Singerman, E
[J]. ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 167 - 186
[5] Located actions in process algebra with timing
Bergstra, JA
Middelburg, CA
[J]. FUNDAMENTA INFORMATICAE, 2004, 61 (3-4) : 183 - 211
[6] Modal logic and equality for process algebra
Mitchell, WPR
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1996, 6 (01) : 121 - 136
[7] Expressive Actions
Betzler, Monika
[J]. INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2009, 52 (03): : 272 - 292
[8] Computation paths logic: An expressive, yet elementary, process logic (abridged version)
Harel, D
Singerman, E
[J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 408 - 418
[9] Using Hoare Logic in a Process Algebra Setting
Bergstra, J. A.
Middelburg, C. A.
[J]. FUNDAMENTA INFORMATICAE, 2021, 179 (04) : 321 - 344
[10] Process algebra approach to reasoning about concurrent actions
Yuan Feng
Ming-Sheng Ying
[J]. Journal of Computer Science and Technology, 2004, 19 : 364 - 373

← 1 2 3 4 5 →