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