A Survey of Formal Methods Applied to Leader Election in IEEE 1394
Savi Maharaj (University of Stirling, United Kingdom)
Carron Shankland (University of Stirling, United Kingdom)
Abstract: We present a survey of formal specification techniques applied to the Tree Identify Protocol of the IEEE 1394 High Performance Serial Bus 1 . Specifications written in a variety of formalisms are compared with regard to a number of criteria including expressiveness, readability, standardisation, and level of analysis.
Keywords: comparative case study, concurrency, formal methods, leader election protocol, networks, standards
Categories: D.2.1, F.3.1