A Survey of Formal Methods Applied to Leader Election in IEEE 1394
Дата
Авторы
Maharaj,Savi
Shankland,Carron
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
formal methods , comparative case study , standards , networks , leader election protocol , concurrency