Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 6 / Issue 11

available in:   HTML (51 kB) PDF (265 kB) PS (95 kB)
Similar Docs BibTeX   Write a comment
Links into Future


A Survey of Formal Methods Applied to Leader Election in IEEE 1394

Savi Maharaj (University of Stirling, United Kingdom)

Carron Shankland (University of Stirling, United Kingdom)

Abstract: We present a survey of formal specification techniques applied to the Tree Identify Protocol of the IEEE 1394 High Performance Serial Bus 1 . 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: comparative case study, concurrency, formal methods, leader election protocol, networks, standards

Categories: D.2.1, F.3.1