APPLICATION OF TEMPORAL LOGIC TO PROTOCOL SPECIFICATION

被引：0
|
作者：
CAVALLI, AR
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1987年 / 52卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：311 / 311
页数：1
相关论文
共 50 条
  • [41] Temporal logic-based specification and verification of trust models
    Herrmann, Peter
    TRUST MANAGEMENT, PROCEEDINGS, 2006, 3986 : 105 - 119
  • [42] ABSTRACT MODULES - COMBINING ALGEBRAIC AND TEMPORAL LOGIC SPECIFICATION MEANS
    KROGER, F
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1987, 6 (06): : 559 - 573
  • [43] A HIGHER LEVEL OF BEHAVIORAL SPECIFICATION - AN EXAMPLE IN INTERVAL TEMPORAL LOGIC
    DOWSING, RD
    ELLIOTT, R
    MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 517 - 524
  • [44] Specification of time in Tichý’s transparent intensional logic and Prior’s temporal logic
    Zuzana Rybaříková
    Synthese, 201
  • [45] Switching Protocol Synthesis for Temporal Logic Specifications
    Liu, Jun
    Ozay, Necmiye
    Topcu, Ufuk
    Murray, Richard M.
    2012 AMERICAN CONTROL CONFERENCE (ACC), 2012, : 727 - 734
  • [46] DESCRIPTION AND VERIFICATION OF PROTOCOL BY TEMPORAL LOGIC.
    Koshida, Ichiro
    Saito, Tadao
    Inose, Hiroshi
    Systems and Computers in Japan, 1987, 18 (03): : 30 - 39
  • [47] Might Temporal Logic Improve the Specification of Directed Acyclic Graphs (DAGs)?
    Ellison, George T. H.
    JOURNAL OF STATISTICS AND DATA SCIENCE EDUCATION, 2021, 29 (02): : 202 - 213
  • [48] Specification and evaluation of polymorphic shellcode properties using a new temporal logic
    Talbi, Mehdi
    Mejri, Mohamed
    Bouhoula, Adel
    JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2009, 5 (03): : 171 - 186
  • [49] Specification and analysis of the running progress of the carousel system based on temporal logic
    Tian, Guohui
    Liu, Changyou
    Xu, Xinhe
    Zidonghua Xuebao/Acta Automatica Sinica, 1998, 24 (03): : 373 - 376
  • [50] General past-time linear temporal logic specification mining
    Jianqi Shi
    Jiawen Xiong
    Yanhong Huang
    CCF Transactions on High Performance Computing, 2021, 3 : 393 - 406
12345