Back to Search
Start Over
But What if I Don't Want to Wait Forever?
- Source :
- Formal Aspects of Computing. 14:281-294
- Publication Year :
- 2003
- Publisher :
- Association for Computing Machinery (ACM), 2003.
-
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.
- Subjects :
- Leader election
Theoretical computer science
Computer science
Programming language
Probabilistic logic
computer.software_genre
Upper and lower bounds
Theoretical Computer Science
Guarded Command Language
Formal specification
Theory of computation
IEEE 1394
Protocol (object-oriented programming)
computer
Software
Subjects
Details
- ISSN :
- 1433299X and 09345043
- Volume :
- 14
- Database :
- OpenAIRE
- Journal :
- Formal Aspects of Computing
- Accession number :
- edsair.doi...........d27edbc677db6f884ed5ce5d6e91b599