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

Authors:
Yung-Chen Hung;Gen-Huey Chen
Affiliations:
-;-
Venue:
Software—Practice & Experience
Year:
1993

Citing 0
Cited 4

On Reachability Analysis of Communicating Finite State Machines

ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Backward validation of communicating complex state machines in web services environments

Distributed and Parallel Databases
A modular methodology to verify communication protocols

Computer Communications
Reachability and reverse reachability analysis of CFSMs

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract