SPECIAL ISSUE ON SPECIFICATION OF CONCURRENT SYSTEMS - INTRODUCTION

被引：4
|
作者：
SCHNEIDER, FB
机构：
来源：
DISTRIBUTED COMPUTING | 1992年 / 6卷 / 01期
关键词：
D O I：
10.1007/BF02276637
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：1 / 3
页数：3
相关论文
共 50 条
  • [1] Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems
    Delzanno, Giorgio
    Etalle, Sandro
    Gabbrielli, Maurizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 225 - 226
  • [2] Introduction to the Special Issue on Concurrent and Parallel Programming
    Ben-Ari, Mordechai
    Garcia, Dan
    Murphy, Tom
    ACM TRANSACTIONS ON COMPUTING EDUCATION, 2013, 13 (01):
  • [3] Special issue on hybrid systems - Introduction to the special issue
    Antsaklis, P
    Lemmon, M
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02): : 101 - 103
  • [4] Introduction to the Special Issue on Specification and Design Languages (FDL 2019)
    Girault, Alain
    von Hanxleden, Reinhard
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (04)
  • [5] Introduction to the Special Issue on Specification and Design Languages (FDL 2021)
    Deantoni, Julien
    Girault, Alain
    Grosse, Daniel
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2024, 23 (05)
  • [6] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Kutsia, Temur
    JOURNAL OF APPLIED LOGIC, 2012, 10 (01) : 1 - 1
  • [7] Special issue on Automated Specification and Verification of Web Systems
    Kovacs, Laura
    Pugliese, Rosario
    Silva, Josep
    Tiezzi, Francesco
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2013, 82 (08): : 241 - 242
  • [8] Introduction to the Special Issue on Cognitive Systems
    Lintern, Gavan
    INTERNATIONAL JOURNAL OF AVIATION PSYCHOLOGY, 2011, 21 (01): : 1 - 2
  • [9] SPECIAL ISSUE ON HOME SYSTEMS - INTRODUCTION
    HOFMANN, J
    HANOVER, G
    IEEE TRANSACTIONS ON CONSUMER ELECTRONICS, 1991, 37 (02) : UR15 - UR15
  • [10] Introduction to the Special Issue on Approximate Systems
    Alaghi, Armin
    Darulova, Eva
    Gerstlauer, Andreas
    Stanley-Marbell, Phillip
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2022, 27 (02)
12345