A FORMAL SPECIFICATION OF THE PVM ARCHITECTURE

被引：0
|
作者：
BORGER, E [1 ]
GLASSER, U [1 ]
机构：
[1] UNIV GESAMTHSCH PADERBORN,FACHBEREICH MATH INFORMAT,D-33098 PADERBORN,GERMANY
来源：
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS | 1994年 / 51卷
关键词：
PROGRAMMING LANGUAGES; FORMAL DEFINITIONS AND THEORY; DISTRIBUTED SYSTEMS;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We develop a mathematically precise yet transparent definition of the Parallel Virtual Machine PVM. Our model, based upon Gurevich's notion of concurrent evolving algebras, directly supports the basic intuitions of heterogeneous distributed computing.
引用
收藏
页码：402 / 409
页数：8
相关论文
共 50 条
  • [31] A formal specification of dMARS
    d'Inverno, M
    Kinny, D
    Luck, M
    Wooldridge, M
    INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 155 - 176
  • [32] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 394 : 207 - 245
  • [33] Extending PVM to a massively parallel architecture
    Ciampolini, A
    Stefanelli, C
    FUTURE GENERATION COMPUTER SYSTEMS, 1996, 12 (01) : 13 - 23
  • [34] Formal Specification of Information Transmission Architecture Based on Automatic Generation of Primitives in Digital Campus
    Li, Xiaole
    Wen, Ying
    Weng, Ming
    ADVANCES IN MECHATRONICS, AUTOMATION AND APPLIED INFORMATION TECHNOLOGIES, PTS 1 AND 2, 2014, 846-847 : 1644 - +
  • [35] Specification architecture
    Turner, KJ
    Scollo, G
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 393 - 395
  • [36] On Architecture Specification
    Broy, Manfred
    SOFSEM 2018: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2018, 10706 : 19 - 39
  • [37] Advantages of a Formal Specification of a Case From Informal Description via Formal Specification to Realization
    de Brock, Bert
    BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2022, 2022, 453 : 158 - 181
  • [38] Using PVM in the simulation of a hybrid dataflow architecture
    Lect Notes Comput Sci, (343):
  • [39] Formal Specification of the Framework for NSSA
    Bhandari, Pardeep
    Singh, Manpreet
    2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
  • [40] Formal Specification of Topological Relations
    Asnina, Erika
    Osis, Janis
    Jansone, Asnate
    DATABASES AND INFORMATION SYSTEMS VII, 2013, 249 : 175 - +
12345