Algebraic specification of dynamic leader election protocols in broadcast networks

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelAlgebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994)
RedacteurenA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Plaats van productieBerlin
UitgeverijSpringer
Pagina's338-358
ISBN van geprinte versie3-540-19909-8
StatusGepubliceerd - 1995

Citeer dit