A Calculus for Protocol Specification and Validation

@inproceedings{Aggarwal1983ACF,
  title={A Calculus for Protocol Specification and Validation},
  author={S. Aggarwal and Robert P. Kurshan and Krishan K. Sabnani},
  booktitle={Protocol Specification, Testing, and Verification},
  year={1983}
}
Highly Cited
This paper has 30 citations. REVIEW CITATIONS