The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1987 vol.13)
pp: 924-937
P. Jain , Department of Computer Sciences, University of Texas at Austin
ABSTRACT
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.
INDEX TERMS
verification, Broadcast channel, local area networks, multiple-access protocols, real-time constraints
CITATION
P. Jain, Simon.S. Lam, "Modeling and Verification of Real-Time Protocols for Broadcast Networks", IEEE Transactions on Software Engineering, vol.13, no. 8, pp. 924-937, August 1987, doi:10.1109/TSE.1987.233511
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool