ON FORMAL DESCRIPTION OF AUTOMATA NETWORKS

被引：0
|
作者：
HIRSCH, HJ
机构：
来源：
ELECTRONISCHE DATENVERARBEITUNG | 1969年 / 11卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：251 / &
相关论文
共 50 条
  • [31] Some Formal Properties of Asynchronous Cellular Automata
    Manzoni, Luca
    CELLULAR AUTOMATA, 2010, 6350 : 419 - 428
  • [32] Formal theory of simulations between infinite automata
    Loewenstein, Paul, 1600, (03): : 1 - 2
  • [33] A FORMAL THEORY OF SIMULATIONS BETWEEN INFINITE AUTOMATA
    LOEWENSTEIN, P
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 20 : 227 - 246
  • [34] A bialgebraic approach to automata and formal language theory
    Worthington, James
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 745 - 762
  • [35] Formal Verification of Business Processes as Timed Automata
    Mendoza Morales, Luis E.
    Monsalve, Carlos
    Villavicencio, Monica
    2017 12TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), 2017,
  • [36] A Second Course in Formal Languages and Automata Theory
    Koubek, Vaclav
    COMPUTER SCIENCE REVIEW, 2009, 3 (03) : 193 - 194
  • [37] Formal language recognition by stochastic cellular automata
    Merkle, D
    Worsch, T
    FUNDAMENTA INFORMATICAE, 2002, 52 (1-3) : 183 - 201
  • [38] Hybrid automata: A formal paradigm for heterogeneous modeling
    Johansson, KH
    Lygeros, J
    Zhang, J
    Sastry, S
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 123 - 128
  • [39] Formal System Description of Control Units and Communication Networks to the automated Optimization of Energy Consumption
    Heinrich, Patrick
    Prehofer, C.
    Langer, F.
    AUTOMATION 2012, 2012, 2171 : 255 - 259
  • [40] A FORMAL THEORY OF SIMULATIONS BETWEEN INFINITE AUTOMATA
    LOEWENSTEIN, P
    FORMAL METHODS IN SYSTEM DESIGN, 1993, 3 (1-2) : 117 - 149
12345