Algebraic specification of dynamic leader election protocols in broadcast networks

J. Brunekreef, Joost P. Katoen, R. Koymans, S. Mauw

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Proceedings of Algebra of communicating processes
Place of Publication	Utrecht
Publisher	Springer
Pages	338-357
ISBN (Print)	0-387-19909-8
Publication status	Published - 1994

Keywords

@inbook{80bc64715a2647b9843b71ffeabe98ae,

title = "Algebraic specification of dynamic leader election protocols in broadcast networks",

keywords = "METIS-119005",

author = "J. Brunekreef and Katoen, {Joost P.} and R. Koymans and S. Mauw",

year = "1994",

language = "Undefined",

isbn = "0-387-19909-8",

pages = "338--357",

booktitle = "Proceedings of Algebra of communicating processes",

publisher = "Springer",

}