ProtocolsSpecification and analysis of the FDDI MAC protocol using systems of communicating machines
References (12)
Systems of Communicating Machines: A Model for Communicating Protocols
- Lundy, G M and Miller, R E ‘Analyzing a CSMA/CD protocol through a systems of communicating machine specification’,...
Proof that timing requirements of the FDDI token ring protocol are satisfied
IEEE Trans. Commun.
(June 1987)- et al.
Cycle time properties of the FDDI token rink protocol
IEEE Trans. Softw. Engl.
(1987) - et al.
Stochastic Petri net modeling of the FDDI network protocol
There are more references available in the full text version of this article.
Cited by (4)
Researches on IEEE 802.11 access mechanism
2008, 2008 International Conference on Communications, Circuits and Systems Proceedings, ICCCAS 2008Formal specification and analysis of the PCF protocol in the 802.11 standard using systems of communicating machines
2008, International Journal of Modelling and SimulationSpecification and analysis of the DCF and PCF protocols in the 802.11 standard using systems of communicating machines
2002, Proceedings - International Conference on Network Protocols, ICNPSpecification and Analysis of the SNR High-Speed Transport Protocol
1994, IEEE/ACM Transactions on Networking
Copyright © 1992 Published by Elsevier B.V.