Formal verification of a leader election protocol in process algebra

J.F. Groote, L. Fredlund, H.P. Korver

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995)
    RedacteurenA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Pagina's285-308
    StatusGepubliceerd - 1995

    Publicatie series

    NaamComputing Science Reports
    Volume95-14
    ISSN van geprinte versie9432-0101

    Citeer dit