Synthesis of protocol specification from service specification

被引：0

|

作者：

机构：

来源：

Karpov, Yu.G. | 1600年 / 23期

关键词：

Distributed Algorithms - Protocol Specification;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

下载

收藏

相关论文

共 50 条

[1] SYNTHESIS OF PROTOCOL SPECIFICATION FROM SERVICE SPECIFICATION
KARPOV, YG
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (04): : 3 - 12
[2] EXAMPLES OF PROTOCOL SYNTHESIS FROM SERVICE SPECIFICATION
KARPOV, JG
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1989, (06): : 3 - 14
[3] Automatic modification of a protocol specification based on changes of a service specification
Go, K
Takahashi, K
Kaminaga, H
Shiratori, N
1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 129 - 134
[4] SERVICE SPECIFICATION AND ITS PROTOCOL SPECIFICATIONS IN LOTOS - A SURVEY FOR SYNTHESIS AND EXECUTION
HIGASHINO, T
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (03) : 330 - 338
[5] FROM SERVICE SPECIFICATION TO PROTOCOL ENTITY IMPLEMENTATION - AN EXERCISE IN FORMAL PROTOCOL DEVELOPMENT
DENDORFER, C
WEBER, R
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 163 - 177
[6] A formal service specification for the Internet open trading protocol
Ouyang, C
Kristensen, LM
Billington, J
APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 352 - 373
[7] FROM PROTOCOL SPECIFICATION TO IMPLEMENTATION AND TEST
BURKHARDT, HJ
ECKERT, H
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 373 - 399
[8] PROTOCOL SPECIFICATION FOR OSI
VONBOCHMANN, G
COMPUTER NETWORKS AND ISDN SYSTEMS, 1990, 18 (03): : 167 - 184
[9] Communication service and protocol specification using object oriented analysis
Cena, G
Demartini, C
Durante, L
ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, 1996, : 1043 - 1048
[10] CONNECTION MANAGEMENT FOR THE TRANSPORT LAYER - SERVICE SPECIFICATION AND PROTOCOL VERIFICATION
MURPHY, SL
SHANKAR, AU
IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (12) : 1762 - 1775

← 1 2 3 4 5 →