Specifying and verifying interaction protocols in a temporal action logic

被引：0
|
作者：
Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italy [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
J. Appl. Logic | 2007年 / 2卷 / 214-234期
关键词：
Multi agent systems;
D O I：
10.1016/j.jal.2005.12.011
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Specifying and verifying systems of communicating agents in a temporal action logic
    Giordano, L
    Martelli, A
    Schwind, C
    AI(ASTERISK)IA 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2003, 2829 : 262 - 274
  • [2] Verifying agent conformance with protocols specified in a temporal action logic
    Giordano, Laura
    Martelli, Alberto
    AI(ASTERISK)IA 2007: ARTIFICIAL INTELLIGENCE AND HUMAN-ORIENTED COMPUTING, 2007, 4733 : 145 - +
  • [3] Specialization of Interaction Protocols in a Temporal Action Logic
    Giordano, Laura
    Martelli, Alberto
    Schwind, Camilla
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (04) : 3 - 22
  • [4] ON SPECIFYING PROTOCOLS BASED ON LOTOS AND TEMPORAL LOGIC
    ANDO, T
    KATO, Y
    TAKAHASHI, K
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1994, E77B (08) : 992 - 1006
  • [5] Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic
    Sinclair, David
    Power, James
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 133 : 255 - 273
  • [6] An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols
    Ahmadi, S.
    Fallah, M. S.
    BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 2018, 44 (05) : 1243 - 1265
  • [7] An Omniscience-Free Temporal Logic of Knowledge for Verifying Authentication Protocols
    S. Ahmadi
    M. S. Fallah
    Bulletin of the Iranian Mathematical Society, 2018, 44 : 1243 - 1265
  • [8] Specifying and verifying temporal behavior of high assurance systems using reachability tree logic
    Yang, SJH
    Chu, W
    Lin, S
    Lee, J
    THIRD IEEE INTERNATIONAL HIGH-ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 1998, : 150 - 156
  • [9] Specifying and verifying temporal behavior of high assurance systems using reachability tree logic
    Yang, SJH
    Chu, W
    Lee, J
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1999, 9 (02) : 233 - 249
  • [10] Specifying and Verifying CRDT Protocols Using TLA+
    Ji Y.
    Wei H.-F.
    Huang Y.
    Lü J.
    Ruan Jian Xue Bao/Journal of Software, 2020, 31 (05): : 1332 - 1352
12345