Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
Checkpointing and Rollback-Recovery for Distributed Systems
IEEE Transactions on Software Engineering - Special issue on distributed systems
Substituting for real time and common knowledge in asynchronous distributed systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
The inhibition spectrum and the achievement of causal consistency
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Using process groups to implement failure detection in asynchronous environments
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Knowledge, probability, and adversaries
Journal of the ACM (JACM)
Global flush communication primitive for inter-process communication
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A formalism for fault-tolerant applications in asynchronous systems
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
An Implementation of F-Channels
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
Hi-index | 0.00 |