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 条
  • [21] Logic of involved variables - System specification with Temporal Logic of Distributed Actions
    Alexander, A
    Reisig, W
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 167 - 176
  • [22] The ForSpec Temporal Logic: A new temporal property-specification language
    Armoni, R
    Fix, L
    Flaisher, A
    Gerth, R
    Ginsburg, B
    Kanza, T
    Landver, A
    Mador-Haim, S
    Singerman, E
    Tiemeyer, A
    Vardi, MY
    Zbar, Y
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 296 - 311
  • [23] TOWARDS THE HIERARCHICAL, TEMPORAL LOGIC, SPECIFICATION OF CONCURRENT SYSTEMS
    BARRINGER, H
    KUIPER, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 157 - 183
  • [24] Linear Temporal Logic Specification of Bounded Counter Machines
    E. V. Kuzmin
    Automatic Control and Computer Sciences, 2023, 57 : 683 - 695
  • [25] Specification-based testing with linear temporal logic
    Tan, L
    Sokolsky, O
    Lee, I
    PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
  • [26] Linear Temporal Logic Specification of Bounded Counter Machines
    Kuzmin, E. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2023, 57 (07) : 683 - 695
  • [27] Metric Interval Temporal Logic Specification Elicitation and Debugging
    Dokhanchi, Adel
    Hoxha, Bardh
    Fainekos, Georgios
    2015 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE), 2015, : 70 - 79
  • [28] EXAMPLES OF A REAL-TIME TEMPORAL LOGIC SPECIFICATION
    KOYMANS, R
    DEROEVER, WP
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 231 - 252
  • [29] SPECIFICATION AND VERIFICATION OF NETWORKS PROTOCOLS USING TEMPORAL LOGIC
    CAVALLI, AR
    DELCERRO, LF
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 59 - 73
  • [30] Hierarchical Protocol Analysis by Temporal Logic
    冯玉琳
    JournalofComputerScienceandTechnology, 1988, (01) : 56 - 69
12345