But what if I don't want to wait forever?

Fidge, C. J. and Shankland, C (2003) But what if I don't want to wait forever?. Formal Aspects of Computing, 14 3: 281-294. doi:10.1007/s001650300006


Author Fidge, C. J.
Shankland, C
Title But what if I don't want to wait forever?
Journal name Formal Aspects of Computing   Check publisher's open access policy
ISSN 0934-4043: 0934-5043
Publication date 2003-04
Sub-type Article (original research)
DOI 10.1007/s001650300006
Volume 14
Issue 3
Start page 281
End page 294
Total pages 14
Editor C. Jones
Place of publication London, England
Publisher Springer-Verlag
Collection year 2003
Language eng
Subject C1
280401 Analysis of Algorithms and Complexity
700199 Computer software and services not elsewhere classified
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.
Keyword Formal specification
IEEE 1394
IEEE 1394a
Probabilistic reasoning
Verification
Q-Index Code C1

Document type: Journal Article
Sub-type: Article (original research)
Collections: 2004 Higher Education Research Data Collection
School of Information Technology and Electrical Engineering Publications
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 5 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 14 Aug 2007, 19:23:47 EST