Reasoning about concurrent systems using types

被引：0
|
作者：
Sangiorgi, D [1 ]
机构：
[1] INRIA Sophia Antipolis, Sophia Antipolis, France
来源：
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES | 1999年 / 1578卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：31 / 40
页数：10
相关论文
共 50 条
  • [41] Reasoning about infinite state systems using Boolean methods
    Bryant, RE
    FST TCS 2003: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2003, 2914 : 399 - 407
  • [42] Reasoning about Action Systems using the B-Method
    M. Waldén
    K. Sere
    Formal Methods in System Design, 1998, 13 : 5 - 35
  • [43] Formal reasoning about systems biology using theorem proving
    Rashid, Adnan
    Hasan, Osman
    Siddique, Umair
    Tahar, Sofiene
    PLOS ONE, 2017, 12 (07):
  • [44] Reasoning about action systems using the B-method
    Walden, R
    Sere, K
    FORMAL METHODS IN SYSTEM DESIGN, 1998, 13 (01) : 5 - 35
  • [45] Behavior of composed concurrent systems: Logic and reasoning
    Arbab, Farhad
    Sirjani, Marjan
    FUNDAMENTA INFORMATICAE, 2008, 82 (04) : CP3 - CP3
  • [46] Formal Reasoning about Concurrent Assembly Code with Reentrant Locks
    Fu, Ming
    Zhang, Yu
    Li, Yong
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 233 - 240
  • [47] A temporal logic for reasoning about timed concurrent constraint programs
    de Boer, FS
    Gabbrielli, M
    Meo, MC
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 227 - 233
  • [48] Representing and reasoning about concurrent actions with abductive logic programs
    Li, RW
    Pereira, LM
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 21 (2-4) : 245 - 303
  • [49] Reasoning about nondeterministic and concurrent actions: A process algebra approach
    Chen, XJ
    De Giacomo, G
    ARTIFICIAL INTELLIGENCE, 1999, 107 (01) : 63 - 98
  • [50] Representing and reasoning about concurrent actions with abductive logic programs
    Renwei Li
    Luís Moniz Pereira
    Annals of Mathematics and Artificial Intelligence, 1997, 21 : 245 - 303
12345