• Publications
  • Influence
Conflict Managers for Self-stabilization without Fairness Assumption
In this paper, we specify the conflict manager abstraction. Informally, a conflict manager guarantees that any two nodes that are in conflict cannot enter their critical section simultaneouslyExpand
  • 55
  • 5
  • PDF
Self-stabilizing Neighborhood Unique Naming under Unfair Scheduler
TLDR
We propose a self-stabilizing probabilistic solution for the neighborhood unique naming problem in uniform, anonymous networks with arbitrary topology. Expand
  • 38
  • 5
  • PDF
Self-Stabilizing Local Mutual Exclusion and Daemon Refinement
TLDR
We present a bounded-memory self-stabilizing local mutual exclusion algorithm for arbitrary network, assuming any arbitrary daemon. Expand
  • 108
  • 4
Memory space requirements for self-stabilizing leader election protocols
TLDR
We study the memory requirements of self-stabilizing leader election (SSLE) protocols on unidirectional, anonymous rings (even if the protocol is randomized). Expand
  • 76
  • 4
  • PDF
A Semantic Overlay for Self- Peer-to-Peer Publish/Subscribe
Publish/Subscribe systems provide a useful platform for delivering data (events) from publishers to subscribers in an anonymous fashion in distributed networks. In this paper, we promote a novelExpand
  • 92
  • 4
  • PDF
Practically stabilizing SWMR atomic memory in message-passing systems
TLDR
A fault-tolerant and practically stabilizing simulation of an atomic register in asynchronous message-passing systems where a minority of processors may crash. Expand
  • 20
  • 4
  • PDF
Stabilizing leader election in population protocols
TLDR
We address the stabilizing leader election problem in the population protocols model augmented with oracles. Expand
  • 16
  • 4
Stabilizing Flocking Via Leader Election in Robot Networks
TLDR
Flocking is the ability of a group of robots to follow a leader or head whenever it moves in a plane (two dimensional Cartesian space). Expand
  • 38
  • 3
  • PDF
Anonymous publish/subscribe in P2P networks
TLDR
We use the publish/subscribe communication paradigm to design deterministic protocols (topic and content-based) for peer-to-peer networks. Expand
  • 53
  • 3
  • PDF
Blockchain Abstract Data Type
TLDR
This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria. Expand
  • 23
  • 3
  • PDF