ALGEBRAIC SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS

被引：14

作者：

KOOMEN, CJ ^{[1
]}

机构：

[1] PHILIPS RES LABS,EINDHOVEN,NETHERLANDS

来源：

SCIENCE OF COMPUTER PROGRAMMING | 1985年 / 5卷 / 01期

关键词：

D O I：

10.1016/0167-6423(85)90002-4

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 36

页数：36

共 50 条

[1] A SPECIFICATION AND VERIFICATION TOOL FOR COMMUNICATION PROTOCOLS
KAUR, H
GRIER, JB
CAMPBELL, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 507 : 234 - 241
[2] FORMAL SPECIFICATION AND VERIFICATION OF SECURE COMMUNICATION PROTOCOLS
KNAPSKOG, SJ
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 453 : 58 - 73
[3] FORMAL TECHNIQUES FOR THE SPECIFICATION, VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS
CHOI, TY
[J]. IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (10) : 46 - 52
[4] SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS IN AFFIRM USING STATE TRANSITION MODELS
SUNSHINE, CA
THOMPSON, DH
ERICKSON, RW
GERHART, SL
SCHWABE, D
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (05) : 460 - 489
[5] On the Algebraic Specification and Verification of Parallel Systems
Triantafyllou, Nikolaos
Ksystra, Katerina
Stefaneas, Petros
[J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 623 - 624
[6] ALGEBRAIC SPECIFICATION OF A COMMUNICATION SCHEDULER
JOSEPH, M
MOITRA, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 356 - 370
[7] SPECIFICATION LANGUAGES FOR COMMUNICATION PROTOCOLS
VONBOCHMANN, G
[J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 379 - 396
[8] PROTEAN - A HIGH-LEVEL PETRI NET TOOL FOR THE SPECIFICATION AND VERIFICATION OF COMMUNICATION PROTOCOLS
BILLINGTON, J
WHEELER, GR
WILBURHAM, MC
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (03) : 301 - 316
[9] AN ALGEBRAIC SPECIFICATION OF HDLC PROCEDURES AND ITS VERIFICATION
HIGASHINO, T
MORI, M
SUGIYAMA, Y
TANIGUCHI, K
KASAMI, T
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) : 825 - 836
[10] Specification and Verification for Unrestricted Algebraic Effects and Handling
Song, Yahui
Foo, Darius
Chin, Wei-Ngan
[J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):

← 1 2 3 4 5 →