|Appears in Collections:||Computing Science and Mathematics Journal Articles|
|Peer Review Status:||Refereed|
|Title:||A Survey of formal methods applied to leader election in IEEE 1394|
|Keywords:||leader election protocol|
survey of formal techniques
comparative case study
|Citation:||Maharaj S & Shankland C (2000) A Survey of formal methods applied to leader election in IEEE 1394, Journal of Universal Computer Science, 6 (11), pp. 1145-1163.|
|Abstract:||We present a survey of formal specification techniques appiled to the leader election protocol of the IEEE 1394 High Performance Serial Bus. Specifications written in a variety of formalisms are compared with regard to a number of criteria including expressiveness, readability, standardisation, and level of analysis.|
|Rights:||Publisher allows this work to be made available in this repository. Published in Journal of Universal Computer Science, Volume 6, Issue 11, pp.1145-1163 by Journal of Universal Computer Science Consortium with the following policy: The Author is permitted to make an electronic version of this article available on the Author's institutional repository prior to its publication in J.UCS (pre-print). However, in the interest of the scientific publication process, the Author agrees to replace the pre-print by a pdf version of the final published version of the article and state the complete bibliographical reference (volume, issue and page number) and the appropriate URL after the article has been published in J.UCS.|
This item is protected by original copyright
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
If you believe that any material held in STORRE infringes copyright, please contact email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.