SAFE EXECUTIONS OF RECOGNIZABLE TRACE LANGUAGES BY ASYNCHRONOUS AUTOMATA

被引：0
|
作者：
ZIELONKA, W
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 363卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：278 / 289
页数：12
相关论文
共 50 条
  • [1] RECOGNIZABLE TRACE LANGUAGES, DISTRIBUTED AUTOMATA AND THE DISTRIBUTION PROBLEM
    PETIT, A
    ACTA INFORMATICA, 1993, 30 (01) : 89 - 101
  • [2] Classifying Recognizable Infinitary Trace Languages Using Word Automata
    Chaturvedi, Namit
    Gelderie, Marcus
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 171 - 182
  • [3] Classifying recognizable infinitary trace languages using word automata
    Chaturvedi, Namit
    Gelderie, Marcus
    INFORMATION AND COMPUTATION, 2017, 256 : 23 - 34
  • [4] ASYNCHRONOUS AUTOMATA AND ASYNCHRONOUS LANGUAGES
    DESCHAMPS, JP
    INFORMATION AND CONTROL, 1974, 24 (02): : 122 - 143
  • [5] Asynchronous automata-theoretic characterization of aperiodic trace languages
    Adsul, B
    Sohoni, M
    FSTTCS 2004: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2004, 3328 : 84 - 96
  • [6] Asynchronous automata-theoretic characterization of aperiodic trace languages
    Adsul, Bharat
    Sohoni, Milind
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3328 : 84 - 96
  • [7] Languages recognizable by quantum finite automata
    Freivalds, R
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 3845 : 1 - 14
  • [8] RECOGNIZABLE COMPLEX TRACE LANGUAGES
    DIEKERT, V
    GASTIN, P
    PETIT, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 131 - 140
  • [9] On recognizable stable trace languages
    Husson, JF
    Morin, R
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 177 - 191
  • [10] Subclasses of recognizable trace languages
    Reineke, H
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 357 - 373
12345