State space generation for the HAVi leader election protocol

DOI10.1016/S0167-6423(01)00018-1MaRDI QIDQ1347990zbMATH OpenOpenAlexFDO

Authors Y. S. Usenko

Publication date 15 May 2002

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(01)00018-1

zbMATH Keywords

leader election protocolspecification languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The leader election protocol of IEEE 1394 in Maude
• A survey of formal methods applied to leader election in IEEE 1394
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
• But what if I don't want to wait forever?
• Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols

Cited in

(1)

• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal

This page was built for publication: State space generation for the HAVi leader election protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1347990)