Paper Info
Title
State space generation for the HAVi leader election protocol
Abstract
This paper describes two specifications of the leader election protocol from the home audio/ video interoperability (HAVi) architecture. The specifications were written in two concurrent specification languages: µCRL and PROMELA. Two toolsets allowing generation of finite labeled transition systems, for µCRL and PROMELA, respectively, were applied in this case study. The results of the state space generation by both tools and some conclusions on the semantical differences between PROMELA and µCRL are presented in this paper.
Year
DOI
Venue
2002
10.1016/S0167-6423(01)00018-1
Sci. Comput. Program.
Keywords
Field
DocType
havi leader election protocol,concurrent specification language,home audio,video interoperability,transition system,semantical difference,case study,leader election protocol,state space generation,state space,leader election,specification language
Leader election,Architecture,Programming language,Interoperability,Computer science,Theoretical computer science,Promela,State space generation
Journal
Volume
Issue
ISSN
43
1
Science of Computer Programming
Citations 
PageRank 
References 
3
0.66
6
Authors
1
Name
Order
Citations
PageRank
Yaroslav S. Usenko112510.75