Document Preparation System
Fast paxos
The existence of refinement mappings
Consensus on transaction commit
The temporal logic of actions
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
ACM Transactions on Database Systems
ACM Transactions on Computer Systems
Theoretical Computer Science
ACM Transactions on Programming Languages and Systems
A LaTEX
Martín Abadi
Jim Gray
Imergindo a Geometria Dinâmica em Sistemas de Educação a Distância: IGEOM e SAW
Immutability Changes Everything
A theory of normed simulations
Towards affordable externally consistent guarantees for geo-replicated systems
Determining the last process to fail
Building consistent transactions with inconsistent replication