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

Простая страница элемента
dc.creatorMaharaj,Savi
dc.creatorShankland,Carron
dc.date2000
dc.date.accessioned2024-02-06T12:50:51Z
dc.date.available2024-02-06T12:50:51Z
dc.descriptionWe 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.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-006-11-1145
dc.identifierhttps://lib.jucs.org/article/27738/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/7853
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 6(11): 1145-1163
dc.subjectformal methods
dc.subjectcomparative case study
dc.subjectstandards
dc.subjectnetworks
dc.subjectleader election protocol
dc.subjectconcurrency
dc.titleA Survey of Formal Methods Applied to Leader Election in IEEE 1394
dc.typeResearch Article
Файлы
Коллекции