PROVING PROPERTIES OF A RING OF FINITE-STATE MACHINES

被引：53
|
作者：
SUZUKI, I
机构：
来源：
INFORMATION PROCESSING LETTERS | 1988年 / 28卷 / 04期
关键词：
D O I：
10.1016/0020-0190(88)90211-6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：213 / 214
页数：2
相关论文
共 50 条
  • [1] IN FINITE-STATE MACHINES, LIVING MACHINES
    KRUGER, T
    [J]. ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
  • [2] ADDING LIVENESS PROPERTIES TO COUPLED FINITE-STATE MACHINES
    AGGARWAL, S
    COURCOUBETIS, C
    WOLPER, P
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (02): : 303 - 339
  • [3] Periodic finite-state machines
    Kopetz, H.
    El-Salloum, C.
    Huber, B.
    Obermaisser, R.
    [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 10 - +
  • [4] ON COMMUNICATING FINITE-STATE MACHINES
    BRAND, D
    ZAFIROPULO, P
    [J]. JOURNAL OF THE ACM, 1983, 30 (02) : 323 - 342
  • [5] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
  • [6] Robots and finite-state machines
    Carter, EF
    [J]. DR DOBBS JOURNAL, 1997, 22 (02): : 50 - +
  • [7] Refinement of finite-state machines
    Li, HW
    Min, YH
    Li, ZC
    [J]. CAD/GRAPHICS '2001: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, VOLS 1 AND 2, 2001, : 624 - 629
  • [8] The state reduction of nondeterministic finite-state machines
    Damiani, M
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (11) : 1278 - 1291
  • [9] POLYNOMIAL REPRESENTATION OF FINITE-STATE MACHINES
    HUNT, BR
    [J]. IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (01): : 94 - &
  • [10] In vitro implementation of finite-state machines
    Garzon, M
    Gao, Y
    Rose, JA
    Murphy, RC
    Deaton, R
    Franceschetti, DR
    Stevens, SE
    [J]. AUTOMATA IMPLEMENTATION, 1998, 1436 : 56 - 74
12345