P. Jain and S.S. Lam. "Specification Real-Time Protocols for Broadcast Networks". IEEE Transactions on Computers 40, 4 (1991), 404-422. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Formal Model of Asynchronous Communication and Its Use in.. - Moore (1993) (15 citations) (Correct)
....domain. This is in stark contrast to our work, where explicit, quantitatively measured time forms the foundation of the model. Finally, while not at level 1 and not supported by mechanically checked proofs, the closest work on protocol verification is perhaps that by P. Jain and S. Lam[JL91] where time is modeled quantitatively and discretely and signal propagation down a bus is also modeled (assuming constant propagation speed) They specify a modified Expressnet protocol which they prove to be collison free and they derive bounds for its access delay. 11. Acknowledgements This ....
Jain, P. and Lam, S.S.: Specification real-time protocols for broadcast networks. IEEE Transactions on Computers, 40(4), 404--422 (1991).
A Formal Model of Asynchronous Communication and Its Use in.. - Moore (1992) (15 citations) (Correct)
No context found.
P. Jain and S.S. Lam. "Specification Real-Time Protocols for Broadcast Networks". IEEE Transactions on Computers 40, 4 (1991), 404-422.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC