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 条
  • [41] Specifying and verifying parametric processes
    Pawlowski, W
    Paczkowski, P
    Sokolowski, S
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 469 - 481
  • [42] An abstraction and refinement framework for verifying security protocols based on logic programming
    Li, MengJun
    Zhou, Ti
    Li, ZhouJun
    Chen, HuoWang
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS, 2007, 4846 : 166 - +
  • [43] Specifying User Preferences Using Weighted Signal Temporal Logic
    Mehdipour, Noushin
    Vasile, Cristian-Ioan
    Belta, Calin
    IEEE CONTROL SYSTEMS LETTERS, 2021, 5 (06): : 2006 - 2011
  • [44] SPECIFYING REAL-TIME PROPERTIES WITH METRIC TEMPORAL LOGIC
    KOYMANS, R
    REAL-TIME SYSTEMS, 1990, 2 (04) : 255 - 299
  • [45] SPECIFYING MESSAGE PASSING SYSTEMS REQUIRES EXTENDING TEMPORAL LOGIC
    KOYMANS, R
    TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 213 - 223
  • [46] Specifying User Preferences using Weighted Signal Temporal Logic
    Mehdipour, Noushin
    Vasile, Cristian-Ioan
    Belta, Calin
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 4900 - 4905
  • [47] USING FINITE LINEAR TEMPORAL LOGIC FOR SPECIFYING DATABASE DYNAMICS
    SAAKE, G
    LIPECK, UW
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 385 : 288 - 300
  • [48] SPECIFYING MESSAGE PASSING SYSTEMS REQUIRES EXTENDING TEMPORAL LOGIC
    KOYMANS, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 213 - 223
  • [49] VERIFYING CONCURRENT PROCESSES USING TEMPORAL LOGIC - HAILPERN,BT
    ELZANATI, A
    TELECOMMUNICATION JOURNAL, 1983, 50 (07): : 378 - 378
  • [50] Verifying temporal heap properties specified via evolution logic
    Yahav, E.
    Reps, T.
    Sagiv, M.
    Wilhelm, R.
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (05) : 755 - 783
12345