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 条
  • [21] OCL extended with temporal logic
    Ziemann, P
    Gogolla, M
    PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 351 - 357
  • [22] An extended temporal logic for CSCW
    Papadopoulos, C
    COMPUTER JOURNAL, 2002, 45 (04): : 453 - 472
  • [23] Towards a specification of concurrent systems in Z referring to a true concurrency semantics (Extended abstract)
    Condom, JM
    Ouriachi, K
    FORMAL METHODS PACIFIC '97, 1997, : 291 - 292
  • [24] Abstract interpretation of temporal concurrent constraint programs
    Falaschi, Moreno
    Olarte, Carlos
    Palamidessi, Catuscia
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 312 - 357
  • [25] Abstract interpretation of temporal concurrent constraint programs
    Falaschi, Moreno
    Olarte, Carlos
    Palamidessi, Catuscia
    Theory and Practice of Logic Programming, 2015, 15 (03) : 312 - 357
  • [26] A CONCURRENT BRANCHING TIME TEMPORAL LOGIC
    PENCZEK, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 335 - 354
  • [27] String Diagrams for Regular Logic (Extended Abstract)
    Fong, Brendan
    Spivak, David I.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (323): : 196 - 229
  • [28] A tool for logic program refinement (Extended abstract)
    Colvin, R
    Hayes, I
    Nickson, R
    Strooper, P
    FORMAL METHODS PACIFIC '97, 1997, : 289 - 290
  • [29] FULL INTUITIONISTIC LINEAR LOGIC (EXTENDED ABSTRACT)
    HYLAND, M
    DEPAIVA, V
    ANNALS OF PURE AND APPLIED LOGIC, 1993, 64 (03) : 273 - 291
  • [30] Synthesising Correct Concurrent Runtime Monitors (Extended Abstract)
    Francalanza, Adrian
    Seychell, Aldrin
    RUNTIME VERIFICATION, RV 2013, 2013, 8174 : 112 - 129
12345