ON COMMUNICATING FINITE-STATE MACHINES

被引：591

作者：

BRAND, D ^{[1
]}

ZAFIROPULO, P ^{[1
]}

机构：

[1] IBM CORP,ZURICH RES LAB,CH-8803 RUSCHLIKON,SWITZERLAND

来源：

JOURNAL OF THE ACM | 1983年 / 30卷 / 02期

关键词：

D O I：

10.1145/322374.322380

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：323 / 342

页数：20

共 50 条

[1] SPECIFICATION AND SYNTHESIS OF COMMUNICATING FINITE-STATE MACHINES
BELHADJ, H
GERBAUX, L
BERTRAND, MC
SAUCIER, G
[J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 91 - 102
[2] UNBOUNDEDNESS DETECTION FOR A CLASS OF COMMUNICATING FINITE-STATE MACHINES
YU, YT
GOUDA, MG
[J]. INFORMATION PROCESSING LETTERS, 1983, 17 (05) : 235 - 240
[3] Communicating Finite-State Machines and Two-Variable Logic
Bollig, Benedikt
Fortin, Marie
Gastin, Paul
[J]. 35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018), 2018, 96
[4] EXPERIMENTS IN DATA-FLOW ANALYSIS OF COMMUNICATING FINITE-STATE MACHINES
IYER, SP
[J]. FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 141 - 153
[5] IN FINITE-STATE MACHINES, LIVING MACHINES
KRUGER, T
[J]. ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
[6] A UNIFIED APPROACH TO THE DEADLOCK DETECTION PROBLEM IN NETWORKS OF COMMUNICATING FINITE-STATE MACHINES
PENG, WX
PURUSHOTHAMAN, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 243 - 252
[7] COMBINED USE OF FINITE-STATE MACHINES AND PETRI NETS FOR MODELING COMMUNICATING PROCESSES
PATTAVINA, A
TRIGILA, S
[J]. ELECTRONICS LETTERS, 1984, 20 (22) : 915 - 916
[8] 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 - +
[9] State assignment of finite-state machines
Ahmad, I
Dhodhi, MK
[J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
[10] Robots and finite-state machines
Carter, EF
[J]. DR DOBBS JOURNAL, 1997, 22 (02): : 50 - +

← 1 2 3 4 5 →