This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Modeling and Verification of Real-Time Protocols for Broadcast Networks
August 1987 (vol. 13 no. 8)
pp. 924-937
ASCII Text
x 
 
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.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1987.233511,
author = {P. Jain and Simon.S. Lam},
title = {Modeling and Verification of Real-Time Protocols for Broadcast Networks},
journal ={IEEE Transactions on Software Engineering},
volume = {13},
number = {8},
issn = {0098-5589},
year = {1987},
pages = {924-937},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233511},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Modeling and Verification of Real-Time Protocols for Broadcast Networks
IS - 8
SN - 0098-5589
SP924
EP937
EPD - 924-937
A1 - P. Jain,
A1 - Simon.S. Lam,
PY - 1987
KW - verification
KW - Broadcast channel
KW - local area networks
KW - multiple-access protocols
KW - real-time constraints
VL - 13
JA - IEEE Transactions on Software Engineering
ER -
 
P. Jain, Department of Computer Sciences, University of Texas at Austin
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, Aug. 1987, doi:10.1109/TSE.1987.233511
Usage of this product signifies your acceptance of the Terms of Use.