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 条
  • [31] Collective escape processes in many-particle systems
    Fugmann, S.
    Hennig, D.
    Schimansky-Geier, L.
    Sokolov, I. M.
    EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, 2010, 191 (01): : 187 - 210
  • [32] NONLINEAR PROCESSES IN MANY-ELECTRON ATOMIC SYSTEMS
    GOLOVINSKII, PA
    JOURNAL OF THE OPTICAL SOCIETY OF AMERICA B-OPTICAL PHYSICS, 1991, 8 (07) : 1381 - 1387
  • [33] Model checking of systems with many identical timed processes
    Abdulla, PA
    Jonsson, B
    THEORETICAL COMPUTER SCIENCE, 2003, 290 (01) : 241 - 264
  • [34] Synthesis of optimal schedules for sequential systems
    Miretskii, IY
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2002, 41 (01) : 73 - 81
  • [35] SEQUENTIAL REGULARIZATION METHODS FOR SIMULATING MECHANICAL SYSTEMS WITH MANY CLOSED LOOPS
    Ascher, Uri
    Lin, Ping
    SIAM JOURNAL ON SCIENTIFIC COMPUTING, 1999, 21 (04): : 1244 - 1262
  • [36] A synthesis of concurrent systems: A rough set approach
    Suraj, Z
    Pancerz, K
    ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 299 - 302
  • [37] SEMIAUTOMATIC GUIDED SYNTHESIS OF CONCURRENT SYSTEMS SPECIFICATIONS
    LEON, G
    CEA, J
    DELAFUENTE, A
    RODRIGUEZ, F
    MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 541 - 548
  • [38] COMPLEXATION AND HYDROLYSIS AS CONCURRENT PROCESSES IN WATER-SALINE SYSTEMS
    KOZHEVNIKOVA, GV
    KOORDINATSIONNAYA KHIMIYA, 1992, 18 (08): : 803 - 807
  • [39] Concurrent Development of Products, Processes and Manufacturing Systems in PLM Environments
    Duda, Jan
    Pobozniak, Janusz
    NEW WORLD SITUATION: NEW DIRECTIONS IN CONCURRENT ENGINEERING, 2010, : 37 - 44
  • [40] New results on the analysis of concurrent systems with an indefinite number of processes
    Girkar, M
    Moll, R
    CONCUR '94: CONCURRENCY THEORY, 1994, 836 : 65 - 80
12345