Formal techniques for the specification and verification of protocols

The synthesis of communication protocols

PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing

Formal specification and verification of a connection establishment protocol

SIGCOMM '81 Proceedings of the seventh symposium on Data communications

An informal approach to formal specifications

ACM SIGMOD Record

An informal approach to formal specifications

ACM SIGMOD Record

AFFIRM summary

ACM SIGSOFT Software Engineering Notes

Development of verification and conformance testing tools for a railway signaling communication protocol

Computer Standards & Interfaces

Performance evaluation and verification of communication protocol for railway signaling systems

Computer Standards & Interfaces

Termination properties of TCP's connection management procedures

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets