Hui Ding, Can Zheng, Lui Sha, Gul Agha. Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. pages 458-466, 2003.
Abstract is missing.