STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/10700| 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 |
| Author(s): | Maharaj, Savi Shankland, Carron |
| Contact Email: | ces1@stir.ac.uk |
| Keywords: | leader election protocol survey of formal techniques comparative case study concurrency formal methods networks standards |
| Issue Date: | Oct-2000 |
| Date Deposited: | 23-Jan-2013 |
| 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. http://www.jucs.org/jucs_6_11/a_survey_of_formal |
| 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. |
| URL: | http://www.jucs.org/jucs_6_11/a_survey_of_formal |
| 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. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| jucs.pdf | Fulltext - Published Version | 264.51 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.