STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/10753| Appears in Collections: | Computing Science and Mathematics Journal Articles |
| Peer Review Status: | Refereed |
| Title: | But what if I don't want to wait forever? |
| Author(s): | Fidge, Colin Shankland, Carron |
| Contact Email: | ces1@stir.ac.uk |
| Keywords: | Formal specification IEEE 1394 IEEE 1394a Probabilistic reasoning Verification |
| Issue Date: | Apr-2003 |
| Date Deposited: | 23-Jan-2013 |
| Citation: | Fidge C & Shankland C (2003) But what if I don't want to wait forever?. Formal Aspects of Computing, 14 (3), pp. 281-294. https://doi.org/10.1007/s001650300006 |
| Abstract: | We present an abstract model of the leader election protocol used in the IEEE 1394 High Performance Serial Bus standard. The model is expressed in the probabilistic Guarded Command Language. By formal reasoning based on this description, we establish the probability of the root contention part of the protocol successfully terminating in terms of the number of attempts to do so. Some simple calculations then allow us to establish an upper bound on the time taken for those attempts. |
| DOI Link: | 10.1007/s001650300006 |
| Rights: | Publisher policy allows this work to be made available in this repository; Published in Formal Aspects of Computing, April 2003, Volume 14, Issue 3, pp 281-294, by Springer. DOI: 10.1007/s001650300006 The original publication is available at www.springerlink.com |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| pgcl.pdf | Fulltext - Accepted Version | 14.73 MB | 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.