Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks

1995 ◽  
pp. 338-357
Author(s):  
Jacob Brunekreef ◽  
Joost-Pieter Katoen ◽  
Ron Koymans ◽  
Sjouke Mauw
Keyword(s):  
Leader Election ◽  
Algebraic Specification ◽  
Broadcast Networks

scholarly journals Design and analysis of dynamic leader election protocols in broadcast networks

1996 ◽  
Vol 9 (4) ◽  
pp. 157-171 ◽  
Author(s):  
Jacob Brunekreef ◽  
Joost-Pieter Katoen ◽  
Ron Koymans ◽  
Sjouke Mauw
Keyword(s):  
Leader Election ◽  
Broadcast Networks

scholarly journals Enumeration and Leader Election in Partially Anonymous and Multi-hop Broadcast Networks

2012 ◽  
Vol 120 (1) ◽  
pp. 1-27 ◽  
Author(s):  
Jérémie Chalopin ◽  
Yves Métivier ◽  
Thomas Morsellino
Keyword(s):  
Leader Election ◽  
Broadcast Networks

A note on algebraic specification of binary trees

1980 ◽  
Vol 15 (6) ◽  
pp. 64-67 ◽  
Author(s):  
Abha Moitra
Keyword(s):  
Binary Trees ◽  
Algebraic Specification

scholarly journals Time-Optimal Self-Stabilizing Leader Election in Population Protocols

2021 ◽  
Author(s):  
Janna Burman ◽  
Ho-Lin Chen ◽  
Hsueh-Ping Chen ◽  
David Doty ◽  
Thomas Nowak ◽  
...  
Keyword(s):  
Leader Election ◽  
Population Protocols ◽  
Time Optimal

Enhanced Phase Clocks, Population Protocols, and Fast Space Optimal Leader Election

2021 ◽  
Vol 68 (1) ◽  
pp. 1-21
Author(s):  
Leszek Gąsieniec ◽  
Grzegorz Stachowiak
Keyword(s):  
Leader Election ◽  
Population Protocols

Simple and fast approximate counting and leader election in populations

2021 ◽  
pp. 104698
Author(s):  
Othon Michail ◽  
Paul G. Spirakis ◽  
Michail Theofilatos
Keyword(s):  
Leader Election ◽  
Approximate Counting

The algebraic specification of abstract data types

1978 ◽  
Vol 10 (1) ◽  
Author(s):  
J.V. Guttag ◽  
J.J. Horning
Keyword(s):  
Algebraic Specification ◽  
Abstract Data Types ◽  
Data Types ◽  
Abstract Data
Sign in / Sign up

Export Citation Format

Share Document