research
∙
05/09/2023
Opportunistic Mutual Exclusion
Mutual exclusion is an important problem in the context of shared resour...
share
research
∙
08/23/2022
Null Messages, Information and Coordination
This paper investigates the transfer of information in fault-prone synch...
research
∙
05/24/2022
Information Flow Guided Synthesis (Full Version)
Compositional synthesis relies on the discovery of assumptions, i.e., re...
research
∙
05/19/2021
Stochastic Coordination in Heterogeneous Load Balancing Systems
Current-day data centers and high-volume cloud services employ a broad s...
research
∙
11/09/2020
Probabilistic Indistinguishability and the Quality of Validity in Byzantine Agreement
Lower bounds and impossibility results in distributed computing are both...
research
∙
08/03/2020
Distributed Dispatching in the Parallel Server Model
With the rapid increase in the size and volume of cloud services and dat...
research
∙
07/06/2020
Probably Approximately Knowing
Whereas deterministic protocols are typically guaranteed to obtain parti...
research
∙
05/15/2019
Byzantine Consensus in the Common Case
Modular methods to transform Byzantine consensus protocols into ones tha...
research
∙
04/14/2019
Timing in Software-Defined and Centrally-Managed Networks
The work described in this paper explores the use of time and synchroniz...
research
∙
05/21/2018
Silence
The cost of communication is a substantial factor affecting the scalabil...
research
∙
06/24/2016
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle
The Knowledge of Preconditions principle (KoP) is proposed as a widely a...
research
∙
07/08/2013
A Knowledge-based Treatment of Human-Automation Systems
In a supervisory control system the human agent knowledge of past, curre...
research
∙
06/02/2000