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 条
  • [21] Logic for verifying public-key cryptographic protocols
    Coffey, T
    Saidha, P
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (01): : 28 - 32
  • [22] Reciprocal logic: Logics for specifying, verifying, and reasoning about reciprocal relationships
    Cheng, JD
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2005, 3682 : 437 - 445
  • [23] Specifying Timed Patterns using Temporal Logic
    Ulus, Dogan
    Maler, Oded
    HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 167 - 176
  • [24] VERIFYING RECURSIVE SUBPROGRAMS USING TEMPORAL LOGIC
    KAPLAN, SM
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 324 - 325
  • [25] A survey on temporal logics for specifying and verifying real-time systems
    Konur, Savas
    FRONTIERS OF COMPUTER SCIENCE, 2013, 7 (03) : 370 - 403
  • [26] A survey on temporal logics for specifying and verifying real-time systems
    Savas Konur
    Frontiers of Computer Science, 2013, 7 : 370 - 403
  • [27] Spatio-temporal relevant logic as the logical basis for specifying, verifying, and reasoning about mobile multi-agent systems
    Cheng, JD
    CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 470 - 483
  • [28] Specifying Protocols for Multi-Agent Systems Interaction
    Poslad, Stefan
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2007, 2 (04)
  • [29] From C to Interaction Trees Specifying, Verifying, and Testing a Networked Server
    Koh, Nicolas
    Li, Yao
    Li, Yishuai
    Xia, Li-yao
    Beringer, Lennart
    Honore, Wolf
    Mansky, William
    Pierce, Benjamin C.
    Zdancewic, Steve
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP' 19), 2019, : 234 - 248
  • [30] Specifying Safety of Autonomous Vehicles in Signal Temporal Logic
    Arechiga, Nikos
    2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), 2019, : 58 - 63
12345