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 proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationProceedings of Algebra of communicating processes
    Place of PublicationUtrecht
    PublisherSpringer
    Pages338-357
    ISBN (Print)0-387-19909-8
    Publication statusPublished - 1994

    Keywords

    • METIS-119005

    Cite this

    Brunekreef, J., Katoen, J. P., Koymans, R., & Mauw, S. (1994). Algebraic specification of dynamic leader election protocols in broadcast networks. In Proceedings of Algebra of communicating processes (pp. 338-357). Utrecht: Springer.