/ http://www.slideshare.net/images/logo.gif / 際際滷Share feed for 際際滷shows by User: kikote76 https://cdn.slidesharecdn.com/profile-photo-kikote76-48x48.jpg?cb=1581835056 - Distributed systems. Algorithm specification and verification of its correctness. - Highly available and fault-tolerant distributed systems. Distributed databases. Full and partial replicated databases. - Cloud computing. - Correctness criteria for data consistency. Specialties: Data consistency, highly available distributed systems, distributed data management, fault-tolerance http://www.iti.upv.es/~armendariz/