Validated Objects: Specification, Implementation, and Applications

Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou +1

Guaranteeing the validity of concurrent operations on distributed objects is a key property for ensuring reliability and consistency in distributed systems. Usually, the methods fo…