Methods for Distributed and Concurrent Systems

被引：0
|
作者：
Aman, Bogdan [1 ]
Kleijn, Jetty [2 ]
Koutny, Maciej [3 ]
Lucanu, Dorel [4 ]
机构：
[1] Romanian Acad, Iasi, Romania
[2] Leiden Univ, Leiden, Netherlands
[3] Newcastle Univ, Newcastle Upon Tyne, Tyne & Wear, England
[4] Alexandru Ioan Cuza Univ, Iasi, Romania
来源：
FUNDAMENTA INFORMATICAE | 2017年 / 153卷 / 1-2期
关键词：
D O I：
10.3233/FI-2017-1528
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：V / VI
页数：2
相关论文
共 50 条
  • [1] Distributed monitoring of concurrent and asynchronous systems
    Benveniste, A
    Haar, S
    Fabre, E
    Jard, C
    [J]. CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 1 - 26
  • [2] Distributed monitoring of concurrent and asynchronous systems
    Fabre, E
    Benveniste, A
    Haar, S
    Jard, C
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (01): : 33 - 84
  • [3] Designing concurrent and distributed control systems
    Aarsten, A
    Brugali, D
    Menga, G
    [J]. COMMUNICATIONS OF THE ACM, 1996, 39 (10) : 50 - 58
  • [4] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1161 - 1163
  • [5] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1086 - 1089
  • [6] Distributed Monitoring of Concurrent and Asynchronous Systems*
    Eric Fabre
    Albert Benveniste
    Stefan Haar
    Claude Jard
    [J]. Discrete Event Dynamic Systems, 2005, 15 : 33 - 84
  • [7] Effective and concurrent checkpointing and recovery in distributed systems
    Hou, CJ
    Tsoi, KS
    Han, CC
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (05): : 304 - 316
  • [8] Concurrent checkpointing & rollback recovery for distributed systems
    Ye, X
    Keane, JA
    [J]. EUROSIM '96 - HPCN CHALLENGES IN TELECOMP AND TELECOM: PARALLEL SIMULATION OF COMPLEX SYSTEMS AND LARGE-SCALE APPLICATIONS, 1996, : 211 - 218
  • [9] A Concurrent Synchronization Model for Distributed Multimedia Systems
    Arthanari, Janani
    Kannan, A.
    [J]. INFORMATION PROCESSING AND MANAGEMENT, 2010, 70 : 245 - 249
  • [10] CONCURRENT HISTORIES - A BASIS FOR OBSERVING DISTRIBUTED SYSTEMS
    DEGANO, P
    MONTANARI, U
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1987, 34 (2-3) : 422 - 461
12345