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 条
  • [1] REASONING ABOUT PROBABILISTIC BEHAVIOR IN CONCURRENT SYSTEMS
    PURUSHOTHAMAN, S
    SUBRAHMANYAM, PA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (06) : 740 - 745
  • [2] QCTL: A logic for reasoning about inconsistent concurrent systems
    Chen, Donghuo
    Zhang, Guangquan
    Wu, Jinzhao
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 241 - +
  • [3] Reasoning about Equilibria in Game-Like Concurrent Systems
    Gutierrez, Julian
    Harrenstein, Paul
    Wooldridge, Michael
    FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 408 - 417
  • [4] Reasoning about Concurrent Actionsin Multi-Agent Systems
    樊晓聪
    徐殿祥
    侯建民
    郑国梁
    Journal of Computer Science and Technology, 1999, (04) : 422 - 428
  • [5] Reasoning about equilibria in game-like concurrent systems
    Gutierrez, Julian
    Harrenstein, Paul
    Wooldridge, Michael
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (02) : 373 - 403
  • [6] Reasoning about concurrent actions in multi-agent systems
    Fan X.
    Xu D.
    Hou J.
    Zheng G.
    Journal of Computer Science and Technology, 1999, 14 (4) : 422 - 428
  • [7] Reasoning about concurrent interaction
    Karlsson, L
    Gustafsson, J
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (05) : 623 - 650
  • [8] Using Session Types for Reasoning About Boundedness in the π-Calculus
    Huttel, Hans
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (255): : 67 - 82
  • [9] Using session types for reasoning about boundedness in the π-calculus
    Huttel, Hans
    ACTA INFORMATICA, 2020, 57 (06) : 801 - 827
  • [10] Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
    He, Fei
    Gao, Xiaowei
    Wang, Bow-Yaw
    Zhang, Lijun
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 503 - 514
12345