Researches in distributed operating system formal system model

被引：0
|
作者：
机构：
来源：
| 1600年 / 16期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] EXPERIENCES WITH THE AMEBA DISTRIBUTED OPERATING SYSTEM
    TANENBAUM, AS
    VANRENESSE, R
    VANSTAVEREN, H
    SHARP, GJ
    MULLENDER, SJ
    JANSEN, J
    VANROSSUM, G
    [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (12) : 46 - 63
  • [32] MOS - A MULTICOMPUTER DISTRIBUTED OPERATING SYSTEM
    BARAK, A
    LITMAN, A
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1985, 15 (08): : 725 - 737
  • [33] OPERATING SYSTEM FOR DISTRIBUTED PROCESSING - DPPX
    KIELY, SC
    [J]. IBM SYSTEMS JOURNAL, 1979, 18 (04) : 507 - 525
  • [34] Operating system support for distributed multimedia
    Purdue Univ, West Lafayette, United States
    [J]. Int J Intell Syst, 12 (1175-1200):
  • [35] A discussion of distributed system environments and distributed operating systems
    Jia, X
    Cao, J
    Jia, W
    Lee, CH
    [J]. PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS - PROCEEDINGS OF THE ISCA 9TH INTERNATIONAL CONFERENCE, VOLS I AND II, 1996, : 37 - 42
  • [36] TOWARDS FORMAL SPECIFICATION OF A DISTRIBUTED COMPUTING SYSTEM
    AGRAWAL, VK
    PATNAIK, LM
    GOEL, PS
    [J]. INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1985, 14 (05): : 277 - 306
  • [37] 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
  • [38] CCSP - A FORMAL SYSTEM FOR DISTRIBUTED PROGRAM DEBUGGING
    ARROWSMITH, B
    MCMILLIN, B
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1995, 21 (01) : 45 - 50
  • [39] CCSP formal system for debugging of distributed programs
    [J]. Errousmit, B., 1600, Mezhdunarodnaya Kniga, Moscow, Russian Federation
  • [40] Formal embedded operating system model based on resource-based design framework
    Kim, Jin-Hyun
    Sim, Jae-Hwan
    Kim, Chang-Jin
    Choi, Jin-Young
    [J]. USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 244 - 249
12345