A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines

Authors:
Wuxu Peng;S. Purushothaman
Affiliations:
-;-
Venue:
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Year:
1990

Citing 0
Cited 5

Generalized fair reachability analysis for cyclic protocols

IEEE/ACM Transactions on Networking (TON)
On Reachability Analysis of Communicating Finite State Machines

ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A modular methodology to verify communication protocols

Computer Communications
Reachability and reverse reachability analysis of CFSMs

Computer Communications
Research: Protocol validation by simultaneous reachability analysis

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract