Article
Details
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.
Keywords
leader election protocol; survey of formal techniques; comparative case study; concurrency; formal methods; networks; standards
Journal
Journal of Universal Computer Science: Volume 6, Issue 11
Status | Published |
---|---|
Publication date | 31/10/2000 |
URL | http://hdl.handle.net/1893/10700 |
Publisher | Journal of Universal Computer Science Consortium |
Publisher URL | http://www.jucs.org/jucs_6_11/a_survey_of_formal |
ISSN | 0948-695X |
People (1)
Senior Lecturer, Computing Science