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 条
  • [21] Entelechy I Towards a Formal Specification of John Portman's Domestic Architecture
    Ligler, Heather
    Economou, Athanassios
    ECAADE 2015: REAL TIME - EXTENDING THE REACH OF COMPUTATION, VOL 1, 2015, : 445 - 452
  • [22] STATE ARCHITECTURE NOTATION AND SIMULATION - A FORMAL TECHNIQUE FOR THE SPECIFICATION AND TESTING OF PROTOCOL SYSTEMS
    PIATKOWSKI, TF
    IP, LK
    HE, D
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (06): : 397 - 418
  • [23] Formal Specification and Verification of Requirements in Architecture and Construction using the EXPRESS Modeling Language
    Semenov, V. A.
    Morozov, S. V.
    Arishin, S. V.
    Kuzina, O. N.
    Rimshin, V. I.
    Makisha, E. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2024, 50 (05) : 376 - 391
  • [24] Enhancements to PVM's BEOLIN architecture
    Springer, PL
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2005, 3666 : 250 - 257
  • [25] FORMAL SPECIFICATION IN OSI
    VISSERS, CA
    SCOLLO, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 248 : 338 - 359
  • [26] Formal dialectic specification
    Wells, S
    Reed, C
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 31 - 43
  • [27] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [28] Formal Specification Level
    Drechsler, Rolf
    Soeken, Mathias
    Wille, Robert
    MODELS, METHODS, AND TOOLS FOR COMPLEX CHIP DESIGN: SELECTED CONTRIBUTIONS FROM FDL 2012, 2014, 265 : 37 - 52
  • [29] A FORMAL SPECIFICATION OF AN OSCILLOSCOPE
    DELISLE, N
    GARLAN, D
    IEEE SOFTWARE, 1990, 7 (05) : 29 - 36
  • [30] A FORMAL SPECIFICATION OF INGRES
    BAATS, WE
    FEIJS, LMG
    GELISSEN, JHA
    ALGEBRAIC METHODS : THEORY, TOOLS AND APPLICATIONS, 1989, 394 : 207 - 245
12345