Percorrer por autor Bessani, Alysson
Mostrar resultados 1-5 de 5.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 23-Jul-2010 | Active Quorum Systems: Specification and Correctness Proof | Bessani, Alysson | report |  |
| 10-Set-2009 | Cheap Intrusion-Tolerant Protection for CRUTIAL Things | Correia, Miguel; Bessani, Alysson; Neves, Nuno; Verissimo, Paulo; Sousa, Paulo | report | |
| 12-Mai-2014 | Consistency Anchor Formalization and Correctness Proofs | Miguel, Correia; Bessani, Alysson | report | |
| Jul-2015 | Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines | Sousa, João; Bessani, Alysson | report | |
| 8-Nov-2013 | State Machine Replication for the Masses with BFT-SMaRt | Sousa, João; Alchieri, Eduardo; Bessani, Alysson | report | |
