A language for specification of the behavior of distributed programs

被引：0
|
作者：
Bakalov, YV [1 ]
Smelyanskii, RL [1 ]
机构：
[1] MOSCOW MV LOMONOSOV STATE UNIV,DEPT COMPUTAT MATH & CYBERNET,MOSCOW,RUSSIA
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1996年 / 22卷 / 05期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The specification language M(2)-SPEC designed to specify the behavior of distributed programs is described. The language is used in the algorithmic analysis subsystem of the Dyana integrated environment [4], which is intended for the analysis of the operation of distributed multiprocessor computing complexes.
引用
收藏
页码：233 / 240
页数：8
相关论文
共 50 条
  • [1] Graphical Specification Language for Distributed Systems
    Galicia, Jorge Cortes
    Garcia, Felipe Rolando Menchaca
    [J]. CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 385 - +
  • [2] A specification language for distributed policy control
    Kuninobu, S
    Takata, Y
    Taguchi, D
    Nakae, M
    Seki, H
    [J]. INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS, 2002, 2513 : 386 - 398
  • [3] LANGUAGE CONSTRUCTS FOR DISTRIBUTED PROGRAMS
    HOMMEL, G
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 190 : 287 - 341
  • [4] Basic protocols: Specification language for distributed systems
    Letichevsky, Alexander
    [J]. Perspectives of Systems Informatics, 2007, 4378 : 21 - 25
  • [5] A LANGUAGE FOR THE SPECIFICATION OF INTERACTIVE AND DISTRIBUTED MULTIMEDIA APPLICATIONS
    PINTO, PF
    LININGTON, PF
    [J]. OPEN DISTRIBUTED PROCESSING, II, 1994, 20 : 247 - 264
  • [6] AN INTRODUCTION TO ESTELLE - A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    BUDKOWSKI, S
    DEMBINSKI, P
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 3 - 23
  • [7] AN INTERPRETER FOR LOTOS, A SPECIFICATION LANGUAGE FOR DISTRIBUTED SYSTEMS
    LOGRIPPO, L
    OBAID, A
    BRIAND, JP
    FEHRI, MC
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (04): : 365 - 385
  • [8] CONTROL SPECIFICATION LANGUAGE FOR DISTRIBUTED COMPUTATION IN MIS
    MOROZ, VV
    [J]. CYBERNETICS, 1990, 26 (04): : 502 - 508
  • [9] CTL AgentSpeak(L): A specification language for agent programs
    Guerra-Hernandez, Alejandro
    Martin Castro-Manzano, Jose
    Seghrouchni, Amal El Fallah
    [J]. JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2009, 64 (01): : 31 - 40
  • [10] bGSL: An imperative language for specification and refinement of backtracking programs
    Dunne, Steve
    Ferreira, Joao F.
    Mendes, Alexandra
    Ritchie, Campbell
    Stoddart, Bill
    Zeyda, Frank
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 130
12345