A Ricciardi - Proceedings of 17th International Conference on …, 1997 - ieeexplore.ieee.org
We describe the Sage project, a new approach to software engineering for (fault-tolerant)
distributed applications. Sage uses the modal logic of knowledge and applies theoretical …