DESIGN, SPECIFICATION AND VALIDATION OF HIERARCHIES OF PROTOCOLS IN DISTRIBUTED SYSTEMS

被引：0

|

作者：

DIAZ, M

COURTIAT, JP

PEDROZA, A

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 224卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：208 / 265

页数：58

相关论文

共 50 条

[1] Basic protocols: Specification language for distributed systems
Letichevsky, Alexander
[J]. Perspectives of Systems Informatics, 2007, 4378 : 21 - 25
[2] SPECIFICATION AND VALIDATION OF PROTOCOLS
MERLIN, PM
[J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1979, 27 (11) : 1671 - 1680
[3] REQUIREMENT AND DESIGN SPECIFICATION FOR DISTRIBUTED SYSTEMS
BROY, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 33 - 62
[4] SPECIFICATION AND TOP DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 4 - 28
[5] ON THE USE OF SPECIFICATION STYLES IN THE DESIGN OF DISTRIBUTED SYSTEMS
VISSERS, CA
SCOLLO, G
VANSINDEREN, M
BRINKSMA, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 352 : 60 - 60
[6] SPECIFICATION AND VALIDATION OF READING-SKILLS HIERARCHIES
BOURQUE, ML
[J]. READING RESEARCH QUARTERLY, 1980, 15 (02) : 237 - 267
[7] SPECIFICATION STYLES IN DISTRIBUTED SYSTEMS-DESIGN AND VERIFICATION
VISSERS, CA
SCOLLO, G
VANSINDEREN, M
BRINKSMA, E
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 179 - 206
[8] ACTION SYSTEM APPROACH TO THE SPECIFICATION AND DESIGN OF DISTRIBUTED SYSTEMS
KURKISUONIO, R
JARVINEN, HM
[J]. SOFTWARE DEVELOPMENT TRENDS, 1989, 104 : 9 - 21
[9] Quality of service specification in distributed object systems design
Frolund, S
Koistinen, J
[J]. PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 1 - 18
[10] SPECIFICATION AND TOP-DOWN DESIGN OF DISTRIBUTED SYSTEMS
BROY, M
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) : 236 - 265

← 1 2 3 4 5 →