SYNTHESIS OF CONCURRENT SYSTEMS WITH MANY SIMILAR SEQUENTIAL PROCESSES

被引：0
|
作者：
ATTIE, PC
EMERSON, EA
机构：
来源：
CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：191 / 201
页数：11
相关论文
共 50 条
  • [21] THE COMPLEXITY OF PROBLEMS IN SYSTEMS OF COMMUNICATING SEQUENTIAL PROCESSES
    LADNER, RE
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1980, 21 (02) : 179 - 194
  • [22] Projection: A synthesis technique for concurrent systems
    Manohar, R
    Lee, TK
    Martin, AJ
    FIFTH INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS - PROCEEDINGS, 1999, : 125 - 134
  • [23] DETERMINISTIC SYSTEMS OF SEQUENTIAL PROCESSES - THEORY AND TOOLS
    SOUISSI, Y
    BELDICEANU, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 380 - 400
  • [24] Synthesis of Synchronized Concurrent Systems Specified by Information Systems
    Suraj, Zbigniew
    Pancerz, Krzysztof
    ROUGH SETS AND KNOWLEDGE TECHNOLOGY, 2011, 6954 : 626 - 635
  • [25] Heterogeneous intelligent systems: Integration and synchronisation of concurrent processes
    Zaremba, MB
    Fraczak, W
    Matwin, S
    Yos-Nhean, T
    Gorse, N
    INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), 1999, : 17 - 22
  • [26] Interaction of Concurrent Processes in Cyber-Physical Systems
    Bialasiewicz, Jan T.
    2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2016, : 516 - 521
  • [27] Trellis Processes : A Compact Representation for Runs of Concurrent Systems
    Eric Fabre
    Discrete Event Dynamic Systems, 2007, 17 : 267 - 306
  • [28] Trellis processes : A compact representation for runs of concurrent systems
    Fabre, Eric
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2007, 17 (03): : 267 - 306
  • [29] Highly Concurrent Stream Synchronization in Many-core Embedded Systems
    Nikolakopoulos, Yiannis
    Papatriantafilou, Marina
    Brauer, Peter
    Lundqvist, Martin
    Gulisano, Vincenzo
    Tsigas, Philippas
    THIRD ACM INTERNATIONAL WORKSHOP ON MANY-CORE EMBEDDED SYSTEMS (MES 2016), 2016, : 2 - 9
  • [30] Collective escape processes in many-particle systems
    S. Fugmann
    D. Hennig
    L. Schimansky-Geier
    I.M. Sokolov
    The European Physical Journal Special Topics, 2010, 191 : 187 - 210
12345