Simulating synchronous processors
Information and Computation
Sequential consistency versus linearizability (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
Timing-based, distributed computation: algorithms and impossibility results
Timing-based, distributed computation: algorithms and impossibility results
Reliable communication over unreliable channels
Journal of the ACM (JACM)
An algorithm for distributed computation of a spanningtree in an extended LAN
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Time-Constrained Automata (Extended Abstract)
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
Action Transducers and Timed Automata
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Forward and Backward Simulations for Timing-Based Systems
Proceedings of the Real-Time: Theory in Practice, REX Workshop
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
Using mappings to prove timing properties
Distributed Computing
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions
Proceedings of the 13th International Symposium on Distributed Computing
Journal of Parallel and Distributed Computing
Hi-index | 0.00 |