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 条
  • [31] Reasoning about quantum systems
    Mateus, P
    Sernadas, A
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
  • [32] Reasoning about interactive systems
    Back, R
    Mikhajlova, A
    von Wright, J
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1460 - 1476
  • [33] REASONING ABOUT CONTINUOUS SYSTEMS
    CHANDY, KM
    SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
  • [34] REASONING ABOUT INTERACTIVE SYSTEMS
    AMBRIOLA, V
    NOTKIN, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
  • [35] REASONING ABOUT NAMING SYSTEMS
    BOWMAN, M
    DEBRAY, SK
    PETERSON, LL
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
  • [36] Reasoning about Normative Systems
    van der Hoek, Wiebe
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 3 - 3
  • [37] Reasoning about Ecological Systems
    Zimmerman, Corinne
    Tobin, Renee M.
    Cossey, Andrea
    PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1661 - 1661
  • [38] Reasoning about linear systems
    Arthan, Rob
    Martin, Ursula
    Mathiesen, Erik Arne
    Oliva, Paulo
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 123 - +
  • [39] Reasoning about action systems using the B-Method
    Turku Centre of Computer Science, Åbo Akademi University, Department of Computer Science, FIN-20520 Turku, Finland
    Formal Methods Syst Des, 1 (5-35):
  • [40] Reasoning about web information systems using story algebras
    Schewe, KD
    Thalheim, B
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2004, 3255 : 54 - 66
12345