Communication mechanism independent protocol specification based on CSP: a case study

Author

Sun, Yong ; Yang, Hongji

Author_Institution

Dept. of Comput. Sci., Queen´´s Univ., Belfast, UK

fYear

1996

fDate

2-5 Sep 1996

Firstpage

303

Lastpage

310

Abstract

When specifying and designing computer network protocols, it is convenient to use an abstract synchronous communication mechanism. In practice, however, asynchronous communication mechanisms cannot be avoided. This paper presents a formal approach, based on Hoare´s Communicating Sequential Processes (1985) and some other theoretical results on the specification and design of protocols which ensure the correctness of the protocols regardless of the communication mechanism used in implementation. The Alternating Bit protocol is used to illustrate our results

Keywords

communicating sequential processes; formal specification; transport protocols; abstract synchronous communication mechanism; alternating bit protocol; asynchronous communication mechanisms; communicating sequential processes; communication mechanism; communication mechanism independent protocol specification; computer network protocols; specification; Carbon capture and storage; Computer aided software engineering; Computer science; Formal specifications; Protocols; Safety; Specification languages; Sun; Telephony; Wire;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROMICRO 96. Beyond 2000: Hardware and Software Design Strategies., Proceedings of the 22nd EUROMICRO Conference

Conference_Location

Prague

ISSN

1089-6503

Print_ISBN

0-8186-7487-3

Type

conf

DOI

10.1109/EURMIC.1996.546395

Filename

546395