TOWARDS FORMAL SPECIFICATION OF A DISTRIBUTED COMPUTING SYSTEM

被引：1
|
作者：
AGRAWAL, VK [1 ]
PATNAIK, LM [1 ]
GOEL, PS [1 ]
机构：
[1] INDIAN INST SCI,BANGALORE 560012,KARNATAKA,INDIA
来源：
INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES | 1985年 / 14卷 / 05期
关键词：
D O I：
10.1007/BF00987039
中图分类号：
G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];
学科分类号：
1205 ; 120501 ;
摘要：
引用
收藏
页码：277 / 306
页数：30
相关论文
共 50 条
  • [1] A formal specification and method for MAS as a distributed system
    Qi, Y
    Wang, X
    Yan, W
    Mao, XJ
    Qi, ZC
    [J]. ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2003, 2834 : 189 - 193
  • [2] Towards a formal specification of an object-oriented architecture for parallel computing
    Bavan, S
    Berki, E
    Georgiadou, E
    Milankovic-Atkinson, M
    Walker, MJ
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1054 - 1060
  • [3] DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
    Evrard, Hugues
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 553 - 559
  • [4] Towards an autonomic distributed computing system
    Constantinescu, Z
    [J]. 14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2003, : 699 - 703
  • [5] Towards a formal specification for the AgentComponent
    Meier, P
    Wirsing, M
    [J]. OBJECTS, AGENTS, AND FEATURES, 2004, 2975 : 175 - 188
  • [6] A Formal Specification of Mobile Trusted Computing
    Huang Wenchao
    Xiong Yan
    Cheng Wenjuan
    Wu Chengyi
    Chen Depin
    [J]. CHINESE JOURNAL OF ELECTRONICS, 2011, 20 (01): : 11 - 16
  • [7] Towards a formal specification method for enterprise information system security
    Sengupta, Anirban
    Barik, Mridul Sankar
    [J]. INFORMATION SYSTEMS SECURITY, PROCEEDINGS, 2006, 4332 : 373 - +
  • [8] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [9] Formal specification and analysis of distributed systems
    Pranevicius, H
    [J]. JOURNAL OF INTELLIGENT MANUFACTURING, 1998, 9 (06) : 559 - 569
  • [10] Formal specification and analysis of distributed systems
    HENRIKAS PRANEVICIUS
    [J]. Journal of Intelligent Manufacturing, 1998, 9 : 559 - 569
12345