JUCS - Journal of Universal Computer Science 6(11): 1145-1163, doi: 10.3217/jucs-006-11-1145
A Survey of Formal Methods Applied to Leader Election in IEEE 1394
expand article infoSavi Maharaj, Carron Shankland
‡ University of Stirling, United Kingdom
Open Access
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.
formal methods, comparative case study, standards, networks, leader election protocol, concurrency