Specification and verification of collusion-free broadcast networks
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Constructing Protocols with Alternative Functions
IEEE Transactions on Computers - Special issue on protocol engineering
Specification of Real-Time Broadcast Networks
IEEE Transactions on Computers - Special issue on protocol engineering
Hi-index | 0.00 |
A class of demand-assigned multiple-access (DAMA) protocols have been proposed for high-speed local area networks (LAN's) that offer integrated services for data, voice, video, and facsimile traffic. These protocols exploit the directionality of signal propagation and implement stringent real-time constraints to achieve collision-freedom. Correct implementation of DAMA protocols will require a very careful analysis of time-dependent interactions using a formal method. To date, most verification methods have been focused on asynchronous communication over point-to-point links.