Miguel Castro, Rodrigo Rodrigues, Barbara Liskov. BASE: Using abstraction to improve fault tolerance. ACM Trans. Comput. Syst., 21(3):236-269, 2003. [doi]
@article{CastroRL03, title = {BASE: Using abstraction to improve fault tolerance}, author = {Miguel Castro and Rodrigo Rodrigues and Barbara Liskov}, year = {2003}, doi = {10.1145/859716.859718}, url = {http://doi.acm.org/10.1145/859716.859718}, tags = {rule-based, abstraction}, researchr = {https://researchr.org/publication/CastroRL03}, cites = {0}, citedby = {0}, journal = {ACM Trans. Comput. Syst.}, volume = {21}, number = {3}, pages = {236-269}, }