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 条
  • [11] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [12] Experience with Applying Formal Methods to Protocol Specification and System Architecture
    Mani Azimi
    Ching-Tsun Chou
    Akhilesh Kumar
    Victor W. Lee
    Phamndra K. Mannava
    Seungjoon Park
    Formal Methods in System Design, 2003, 22 : 109 - 116
  • [13] THE FORMAL SPECIFICATION OF THE ISO OPEN DOCUMENT ARCHITECTURE (ODA) STANDARD
    APPELT, W
    TETTEHLARTEY, N
    COMPUTER JOURNAL, 1993, 36 (03): : 269 - 279
  • [14] Towards a formal specification of an object-oriented architecture for parallel computing
    Bavan, S
    Berki, E
    Georgiadou, E
    Milankovic-Atkinson, M
    Walker, MJ
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1054 - 1060
  • [15] Formal specification and verification of reusable communication models for distributed systems architecture
    Rouland, Quentin
    Hamid, Brahim
    Jaskolka, Jason
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 : 178 - 197
  • [16] Towards the formal specification of an OPS5 production system architecture
    Gold, David I.
    Plant, R.T.
    International Journal of Intelligent Systems, 1994, 9 (08): : 739 - 768
  • [17] TOWARDS THE FORMAL SPECIFICATION OF AN OPS5 PRODUCTION SYSTEM ARCHITECTURE
    GOLD, DI
    PLANT, RT
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (08) : 739 - 768
  • [18] FORMAL SPECIFICATION
    BROKATE, K
    COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
  • [19] Formal description of test specification and ATE architecture for mixed-signal test
    Deng, BL
    Glauert, W
    INTERNATIONAL TEST CONFERENCE 2004, PROCEEDINGS, 2004, : 1081 - 1090
  • [20] Formal specification of a multi-agent system architecture for manufacture:: the contribution of the π-calculus
    Dumond, Y
    Roche, C
    JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2000, 107 (1-3) : 209 - 215
12345