Title: An Algebraic-Temporal Specification of a CSMA/CD-Protocol
Abstract: This paper presents a formal development of a CSMA/CD (Carrier Sense, Multiple Access with Collision Detection) protocol. Using a combination of temporal logic and algebraic specifications we describe the message layout and the behavioral aspects of the protocol in a unified framework. We benefit from the deduction system of temporal logic to establish safety and liveness properties of the protocol.
Publication Year: 1996
Publication Date: 1996-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 5
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot