Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Keith Marzullo
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Primary-Backup Protocols: Lower Bounds and Optimal Implementations
Dependable Computing and Fault-Tolerant Systems
Tolerating Failures of Continuous-Valued Sensors
Consistent Detection of Global Predicates
Refinement for Fault-Tolerance: An Aircraft Hand-Off Protocol
