Algebraic specification of dynamic leader election protocols in broadcast networks

J.J. Brunekreef, J.P. Katoen, R.L.C. Koymans, S. Mauw

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationAlgebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994)
EditorsA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of PublicationBerlin
PublisherSpringer
Pages338-358
ISBN (Print)3-540-19909-8
Publication statusPublished - 1995

Cite this