@inproceedings{88c7091201bd4810a47035d53939b908,
title = "Protocol specification & verification methods: An overview",
abstract = "The need for appropriate methods for the specification and verification of data communication protocols is highlighted. Difficulties with commonly-used methods are discussed briefly, and an approach based on a combination of CSP and Timed CSP is advocated.",
keywords = "Communicating Sequential Processes, Data communication protocols, Protocol specification, Protocol verification, Timed CSP",
author = "Hinchey, {Michael G.} and Jarvis, {Stephen A.}",
note = "Publisher Copyright: {\textcopyright} 1993 IEEE.; 1993 IEEE Singapore International Conference on Networks/International Conference on Information Engineering, SICON 1993 ; Conference date: 06-09-1993 Through 11-09-1993",
year = "1993",
doi = "10.1109/SICON.1993.515654",
language = "English",
series = "Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering: Communications and Networks for the Year 2000, SICON 1993",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "581--585",
editor = "E.S. Seumahu and G.S. Poo",
booktitle = "Proceedings of IEEE Singapore International Conference on Networks/International Conference on Information Engineering",
}