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

Corresponding author: Savi Maharaj ( sma@cs.stir.ac.uk )

© Savi Maharaj, Carron Shankland.
This article is freely available under the J.UCS Open Content License.
Citation: Maharaj S, Shankland C (2000) A Survey of Formal Methods Applied to Leader Election in IEEE 1394. JUCS - Journal of Universal Computer Science 6(11): 1145-1163. https://doi.org/10.3217/jucs-006-11-1145
Open Access
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
formal methods, comparative case study, standards, networks, leader election protocol, concurrency