A petri net reduction algorithm for protocol analysis
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Synthesis of two-party error-recoverable protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
To correct communicating finite state machines
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Hi-index | 0.00 |