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 条
  • [21] Reasoning about deterministic concurrent functional I/O
    Dowse, M
    Butterfield, A
    van Eekelen, M
    IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2005, 3474 : 177 - 194
  • [22] Modular Reasoning about Separation of Concurrent Data Structures
    Svendsen, Kasper
    Birkedal, Lars
    Parkinson, Matthew
    PROGRAMMING LANGUAGES AND SYSTEMS, 2013, 7792 : 169 - 188
  • [23] Process algebra approach to reasoning about concurrent actions
    Yuan Feng
    Ming-Sheng Ying
    Journal of Computer Science and Technology, 2004, 19 : 364 - 373
  • [24] Process algebra approach to reasoning about concurrent actions
    Feng, Y
    Ying, MS
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 364 - 373
  • [25] Temporal reasoning about two concurrent sequences of events
    Ishihara, Y
    Ishii, S
    Seki, H
    Ito, M
    SIAM JOURNAL ON COMPUTING, 2004, 34 (02) : 498 - 513
  • [26] Inductive Reasoning about Effectful Data Types
    Filinski, Andrzej
    Stovring, Kristian
    ICFP'07 PROCEEDINGS OF THE 2007 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2007, : 97 - 110
  • [27] Inductive reasoning about effectful data types
    Filinski, Andrzej
    Stovring, Kristian
    ACM SIGPLAN NOTICES, 2007, 42 (09) : 97 - 110
  • [28] Reasoning about types of action and agent capabilities
    Hartonas, Chrysafis
    LOGIC JOURNAL OF THE IGPL, 2013, 21 (05) : 703 - 742
  • [29] Reasoning About Algebraic Data Types with Abstractions
    Tuan-Hung Pham
    Gacek, Andrew
    Whalen, Michael W.
    JOURNAL OF AUTOMATED REASONING, 2016, 57 (04) : 281 - 318
  • [30] Reasoning About Algebraic Data Types with Abstractions
    Tuan-Hung Pham
    Andrew Gacek
    Michael W. Whalen
    Journal of Automated Reasoning, 2016, 57 : 281 - 318
12345