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 条
  • [31] PROVING FAILURE-FREE PROPERTIES OF CONCURRENT SYSTEMS USING TEMPORAL LOGIC
    KARP, RA
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (02): : 239 - 253
  • [32] A TEMPORAL LOGIC APPROACH TO SPECIFY AND TO PROVE PROPERTIES OF FINITE STATE CONCURRENT SYSTEMS
    DANELUTTO, M
    MASINI, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 63 - 79
  • [33] Reasoning about inconsistent concurrent systems: A non-classical temporal logic
    Chen, DH
    Wu, JZ
    SOFSEM 2006: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2006, 3831 : 207 - 217
  • [34] Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications
    Sakakibara, Ami
    Ushio, Toshimitsu
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2018, E101A (02): : 313 - 321
  • [35] Model Checking Temporal Aspects of Inconsistent Concurrent Systems Based on Paraconsistent Logic
    Chen, Donghuo
    Wu, Jinzhao
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) : 23 - 38
  • [36] Second-Order Equational Logic (Extended Abstract)
    Fiore, Marcelo
    Hur, Chung-Kil
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 320 - +
  • [37] Bipolarity in possibilistic logic and fuzzy rules - (Extended abstract)
    Dubois, D
    Prade, H
    SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 168 - 173
  • [38] Prime Implicate Generation in Equational Logic (extended abstract)
    Echenim, Mnacho
    Peltier, Nicolas
    Tourret, Sophie
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5588 - 5592
  • [39] A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
    Serbanuta, Traian Florin
    Rosu, Grigore
    Meseguer, Jose
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 192 (01) : 125 - 141
  • [40] On the Logical Properties of the Description Logic DLN (Extended abstract)
    Bonatti, Piero A.
    Sauro, Luigi
    PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5558 - 5562
12345