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 条
  • [41] FORMAL SPECIFICATION IS AN EXPERIMENTAL SCIENCE
    BJORNER, D
    PROGRAMMING AND COMPUTER SOFTWARE, 1991, 17 (06) : 316 - 335
  • [42] Formal specification of concurrent systems
    Chadha, HS
    Baugh, JW
    Wing, JM
    ADVANCES IN ENGINEERING SOFTWARE, 1999, 30 (03) : 211 - 224
  • [43] FORMAL SPECIFICATION FOR DESIGN AUTOMATION
    LENART, M
    PADAWITZ, P
    PASZTOR, A
    FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 201 - 220
  • [44] A formal specification of document processing
    Brown, AL
    Mantha, S
    Wakayama, T
    MATHEMATICAL AND COMPUTER MODELLING, 1997, 25 (04) : 57 - 72
  • [45] Safety analysis in formal specification
    Sere, K
    Troubitsyna, E
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1564 - 1583
  • [46] Formal specification of catalysis frameworks
    Filipe, JK
    Lau, KK
    Ornaghi, M
    Taguchi, K
    Yatsu, H
    Wills, A
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 180 - 187
  • [47] English as a formal specification language
    Schwitter, R
    13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2002, : 228 - 232
  • [48] Formal Specification and Analysis of Firewalls
    Mejri, M.
    Adi, K.
    Fujita, H.
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2009, 199 : 284 - 293
  • [49] Formal specification of visual languages
    Gee, DM
    INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (07) : 359 - 367
  • [50] Formal Specification under Fuzziness
    Lopez, V.
    Montero, J.
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2009, 15 (2-3) : 209 - 228
12345