Formalization and validation of the Radio Link Protocol (RLP1)

Computer Networks

Volumn 29, Issue 3, 1997, Pages 357-372

  Ferguson, Michael J ^a  

^a INRS EMT   (Canada)

Author keywords

Formal methods; Promela spin; Protocol validation; Radio link protocol; SDL; Specification; Standardization

Indexed keywords

EID: 20444393125     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0169-7552(96)00102-x     Document Type: Article

References (3)

1. G. Holzmann, Design and Validation of Computer Protocols (Prentice-Hall, Englewood Cliffs, NJ, 1991).
2. B.T. Doshi, R.P. Ejzak and S. Nanda, Radio link protocols for cellular data, in: Workshop Record - 5th Winlab Workshop on Third Generation Wireless Information Network, East Brunswick, NJ (1995) 391-408.
3. F. Belina, D. Hogrefe and A. Sarma, SDL with Applications from Protocol Specification (Prentice-Hall, Englewood Cliffs, NJ, 1991).