Protocol analysis and synthesis by structured partitions

Authors:
T Y Choi;R E Miller
Affiliations:
-;-
Venue:
Computer Networks and ISDN Systems
Year:
1986

Citing 0
Cited 4

On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines

IEEE Transactions on Software Engineering
Experience with formal methods in protocol development

ACM SIGCOMM Computer Communication Review
Generalized fair reachability analysis for cyclic protocols

IEEE/ACM Transactions on Networking (TON)
Specification and analysis of a data transfer protocol using systems of communicating machines

Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract