DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - BASIC CONCEPTS

被引：0
|
作者：
ALFORD, MW [1 ]
LAMPORT, L [1 ]
MULLERY, GP [1 ]
机构：
[1] STANFORD UNIV,RES INST,STANFORD,CA 94305
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 190卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：7 / 43
页数：37
相关论文
共 50 条
  • [1] DISTRIBUTED SYSTEMS - METHODS AND TOOLS FOR SPECIFICATION - ACQUISITION ENVIRONMENT
    MULLERY, GP
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 45 - 130
  • [2] Basic protocols: Specification language for distributed systems
    Letichevsky, Alexander
    [J]. Perspectives of Systems Informatics, 2007, 4378 : 21 - 25
  • [3] Formal methods integration for the specification of dependable distributed systems
    Mazzocca, N
    Russo, S
    Vittorini, V
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
  • [4] Methods and tools for profiling and control of distributed systems
    Sukharev, R.
    Lukyanchikov, O.
    Nikulchev, E.
    Biryukov, D.
    Ryadchikov, I.
    [J]. 2017 WORKSHOP ON MATERIALS AND ENGINEERING IN AERONAUTICS (MEA2017), 2018, 312
  • [5] Methods and Tools for Profiling and Control of Distributed Systems
    Sukharev, Roman
    Pluzhnik, Evgeniy
    Lukyanchikov, Oleg
    Biryukov, Dmitry
    [J]. 2017 SEMINAR ON SYSTEMS ANALYSIS, 2017, 10
  • [6] BASIC CONCEPTS AND ISSUES IN FAULT-TOLERANT DISTRIBUTED SYSTEMS
    CRISTIAN, F
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 563 : 119 - 149
  • [7] PRACTICAL METHODS AND TOOLS FOR SPECIFICATION
    LUDEWIG, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 174 - 207
  • [8] SPECIFICATION IN DISTRIBUTED SYSTEMS
    VONBOCHMANN, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 184 : 470 - 497
  • [9] Hardware simulation in distributed computing systems: Methods and tools
    Grebnev, VA
    Kapitonova, YV
    Letichevskii, AA
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (03) : 350 - 364
  • [10] SYSTEMS SPECIFICATION BY BASIC PROTOCOLS
    Letichevsky, A. Ad.
    Kapitonova, Yu. V.
    Volkov, V. A.
    Letichevsky, A. A.
    Baranov, S. N.
    Kotlyarov, V. P.
    Weigert, T.
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2005, 41 (04) : 479 - 493
12345