State space generation for the HAVi leader election protocol

DOI10.1016/S0167-6423(01)00018-1zbMath1004.68099OpenAlexW2106246150MaRDI QIDQ1347990

Yaroslav 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

specification languagesleader election protocol

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)

Related Items (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