Mauro Jaskelioff

 

Website: http://www.fceia.unr.edu.ar/~mauro/

 

Entries

2005
June 22: Proving the Correctness of Disk Paxos