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 条
  • [31] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1086 - 1089
  • [32] Formal specification and analysis of distributed systems
    HENRIKAS PRANEVICIUS
    [J]. Journal of Intelligent Manufacturing, 1998, 9 : 559 - 569
  • [33] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [34] Specification of secure distributed collaboration systems
    Tripathi, AR
    Ahmed, T
    Kumar, R
    [J]. ISADS 2003: SIXTH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2003, : 149 - 156
  • [35] Formal specification and analysis of distributed systems
    Pranevicius, H
    [J]. JOURNAL OF INTELLIGENT MANUFACTURING, 1998, 9 (06) : 559 - 569
  • [36] Modeling and specification of distributed timed systems
    Ortiz, James J.
    [J]. INGENIERIA Y COMPETITIVIDAD, 2013, 15 (02): : 115 - 124
  • [37] COMPOSITIONAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    JONSSON, B
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (02): : 259 - 303
  • [38] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1161 - 1163
  • [39] AUTOFOCUS - A tool for distributed systems specification
    Huber, F
    Schatz, B
    Schmidt, A
    Spies, K
    [J]. FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 467 - 470
  • [40] Design for testability of communication protocols based on SDL specification
    Karoui, K
    Dssouli, R
    Yevtushenko, N
    [J]. SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 151 - 164
12345