Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Exploiting Synchrony in Replicated State Machines
Mencius: Building Efficient Replicated State Machine for WANs
Challenging the "embarrassingly sequential": parallelizing finite state machine-based computations through principled speculation
Distributed snapshots: determining global states of distributed systems
Performance comparison of state synchronization techniques in a distributed LTE EPC
Clock Synchronization in Distributed Real-Time Systems
Efficient optimistic concurrency control using loosely synchronized clocks
An Efficient Synchronization Mechanism for Mirrored Game Architectures
Analysis of Recursive State Machines
Self-Stabilizing Byzantine Clock Synchronization with Optimal Precision
Minimizing faulty executions of distributed systems
Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?
System-level fault-tolerance in large-scale parallel machines with buffered coscheduling
A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm
synchronous programming of reactive systems .
Time, clocks, and the ordering of events in a distributed system
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
Consul: a communication substrate for fault-tolerant distributed programs
Remus: High Availability via Asynchronous Virtual Machine Replication. (Best Paper)
Chain Replication for Supporting High Throughput and Availability
Linearizability: a correctness condition for concurrent objects
Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems
Surface confined quantum well state in MoS2(0001) thin film
Practical byzantine fault tolerance and proactive recovery
Sensitive attribute based non-homogeneous anonymization for privacy preserving data mining
Linearity enhancement technique of ramp generator for ADC testing