COMPOSITIONALITY IN THE TEMPORAL LOGIC OF CONCURRENT SYSTEMS - (EXTENDED ABSTRACT)

被引：0

作者：

DEBOER, FS

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 366卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：406 / 423

页数：18

共 50 条

[1] Temporal prepositions and their logic: Extended abstract
Pratt-Hartmann, I
11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, : 7 - 8
[2] TEMPORAL LOGIC AND CAUSALITY IN CONCURRENT SYSTEMS
REISIG, W
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 121 - 139
[3] Modelling concurrent workflow with the extended interval temporal logic
Lei, Li-Hui
Duan, Zhen-Hua
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2007, 34 (04): : 673 - 680
[4] A complete axiomatization of interval temporal logic with infinite time (extended abstract)
Moszkowski, BC
15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 241 - 252
[5] TOWARDS THE HIERARCHICAL, TEMPORAL LOGIC, SPECIFICATION OF CONCURRENT SYSTEMS
BARRINGER, H
KUIPER, R
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 157 - 183
[6] HIERARCHICAL DEVELOPMENT OF CONCURRENT SYSTEMS IN A TEMPORAL LOGIC FRAMEWORK
BARRINGER, H
KUIPER, R
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 197 : 35 - 61
[7] Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic (Extended Abstract)
Bonassi, Luigi
De Giacomo, Giuseppe
Favorito, Marco
Fuggitti, Francesco
Emilio Gerevini, Alfonso
Scala, Enrico
PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 8378 - 8383
[8] COMPOSITIONALITY IN THE INDUCTIVE ASSERTION METHOD FOR CONCURRENT SYSTEMS
DEBOER, FS
PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 289 - 305
[9] Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
Ding, Yepeng
Sato, Hiroyuki
ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP 2020, PT I, 2020, 12452 : 480 - 494
[10] Assumption guarantee specifications in linear-time temporal logic (extended abstract)
Jonsson, B
Tsay, YK
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 262 - 276

← 1 2 3 4 5 →