A unified approach to the deadlock detection problem in networks of communicating finite state machines

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023738 ◽

2005 ◽

pp. 243-252 ◽

Author(s):

Wuxu Peng ◽

S. Purushothaman

Keyword(s):

Finite State Machines ◽

State Machines ◽

Deadlock Detection ◽

Unified Approach ◽

Detection Problem ◽

Download Full-text

A unified approach to the deadlock detection problem in networks of communicating finite state machines

Computer-Aided Verification ’90 - DIMACS Series in Discrete Mathematics and Theoretical Computer Science ◽

10.1090/dimacs/003/25 ◽

1991 ◽

pp. 395-404 ◽

Author(s):

W. Peng ◽

S. Purushothaman

Keyword(s):

Finite State Machines ◽

State Machines ◽

Deadlock Detection ◽

Unified Approach ◽

Detection Problem ◽

Download Full-text

Deadlock detection in communicating finite state machines

ACM SIGACT News ◽

10.1145/1008949.1008957 ◽

1984 ◽

Vol 16 (1) ◽

pp. 63-64

Author(s):

Eitan M. Gurari ◽

Ten Hwang Lai

Keyword(s):

Finite State Machines ◽

State Machines ◽

Deadlock Detection ◽

Download Full-text

Deadlock Detection for a Class of Communicating Finite State Machines

IRE Transactions on Communications Systems ◽

10.1109/tcom.1982.1095450 ◽

1982 ◽

Vol 30 (12) ◽

pp. 2514-2518 ◽

Author(s):

Yao-Tin Yu ◽

M. Gouda

Keyword(s):

Finite State Machines ◽

State Machines ◽

Deadlock Detection ◽

Download Full-text

Deadlock detection in communicating finite state machines by even reachability analysis

Proceedings of Fourth International Conference on Computer Communications and Networks - IC3N'95 ◽

10.1109/icccn.1995.540187 ◽

2002 ◽

Author(s):

Wuxu Peng

Keyword(s):

Finite State Machines ◽

Reachability Analysis ◽

State Machines ◽

Deadlock Detection ◽

Download Full-text

Deadlock detection in communicating finite state machines

ACM SIGACT News ◽

10.1145/1008939.1008947 ◽

1984 ◽

Vol 15 (4) ◽

pp. 63-64 ◽

Author(s):

Eitan M. Gurari ◽

Ten Hwang Lai

Keyword(s):

Finite State Machines ◽

State Machines ◽

Deadlock Detection ◽

Download Full-text

Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

Software Practice and Experience ◽

10.1002/spe.4380230904 ◽

1993 ◽

Vol 23 (9) ◽

pp. 965-979 ◽

Author(s):

Yung-Chen Hung ◽

Gen-Huey Chen

Keyword(s):

Finite State Machines ◽

Reachability Analysis ◽

New Technique ◽

State Machines ◽

Deadlock Detection ◽

Finite State ◽

A New Technique

Download Full-text

A unified approach for the synthesis of self-testable finite state machines

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127697 ◽

1991 ◽

Author(s):

Bernhard Eschermann ◽

Hans-Joachim Wunderlich

Keyword(s):

Finite State Machines ◽

State Machines ◽

Unified Approach ◽

Download Full-text

An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines

Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106) ◽

10.1109/aspdac.2000.835071 ◽

2002 ◽

Author(s):

R. Forth ◽

P. Molitor

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Download Full-text

Combining SIMD and Many/Multi-core Parallelism for Finite-state Machines with Enumerative Speculation

ACM Transactions on Parallel Computing ◽

10.1145/3399714 ◽

2020 ◽

Vol 7 (3) ◽

pp. 1-26

Author(s):

Peng Jiang ◽

Yang Xia ◽

Gagan Agrawal

Keyword(s):

Finite State Machines ◽

State Machines ◽

Download Full-text

The process of automated knowledge control among technological installations operators modeling using finite-state machines

10.1063/5.0060506 ◽

2021 ◽

Author(s):

Ivan S. Polevshchikov ◽

Elizaveta B. Krokha

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Automated Knowledge

Download Full-text