Article

A Survey of formal methods applied to leader election in IEEE 1394

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

StatusPublished
Publication date31/10/2000
URLhttp://hdl.handle.net/1893/10700
PublisherJournal of Universal Computer Science Consortium
Publisher URLhttp://www.jucs.org/jucs_6_11/a_survey_of_formal
ISSN0948-695X

People (1)

Dr Savi Maharaj

Dr Savi Maharaj

Senior Lecturer, Computing Science