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 条
  • [41] Prototyping of distributed control procedures in concurrent cyclic processes systems
    Polak, M
    Wójcik, R
    Majdzik, P
    Banaszak, Z
    ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2003, : 261 - 268
  • [42] Diffusion-level universality of many-server systems with concurrent service
    Storm, Pieter Jacob
    Borst, Sem
    OPERATIONS RESEARCH LETTERS, 2023, 51 (03) : 212 - 219
  • [43] Deciding bisimulation and trace equivalences for systems with many identical processes
    Yen, HC
    Jian, ST
    Lao, TP
    THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 445 - 464
  • [44] THEORY OF GENERALIZED DIFFUSION PROCESSES IN MANY-PARTICLE SYSTEMS
    ALTENBERGER, AR
    PHYSICA A, 1978, 92 (3-4): : 391 - 409
  • [45] Sequential versus Concurrent Computation of Complex Model Systems for Medical Decision Support
    Kretschmer, Joern
    Moeller, Knut
    2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2011, : 133 - 136
  • [46] EXPERIENCE WITH CONCURRENT AND SEQUENTIAL PASCAL
    GULBRANSON, RL
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1981, 28 (05) : 3773 - 3779
  • [47] CONCURRENT SEQUENTIAL MATCHING IN THE PIGEON
    PISACRETA, R
    BULLETIN OF THE PSYCHONOMIC SOCIETY, 1982, 20 (03) : 183 - 186
  • [48] SYNTHESIS BY TRAINING MODE OF INDUSTRIAL SEQUENTIAL SYSTEMS
    ROESCH, M
    MOREL, G
    BREMONT, J
    LAURENT, C
    NOUVEL AUTOMATISME, 1981, 26 (22): : 39 - 45
  • [49] Transition from nonsequential to sequential double ionization in many-electron systems
    Pullen, Michael G.
    Wolter, Benjamin
    Wang, Xu
    Tong, Xiao-Min
    Sclafani, Michele
    Baudisch, Matthias
    Pires, Hugo
    Schroeter, Claus Dieter
    Ullrich, Joachim
    Pfeifer, Thomas
    Moshammer, Robert
    Eberly, J. H.
    Biegert, Jens
    PHYSICAL REVIEW A, 2017, 96 (03)
  • [50] MICROSCOPIC APPROXIMATION FOR SEQUENTIAL DECAY PROCESSES IN LIGHT NUCLEAR SYSTEMS
    HEISS, P
    ZEITSCHRIFT FUR PHYSIK A-HADRONS AND NUCLEI, 1975, 272 (03): : 267 - 272
12345