Specification and validation of fault-tolerant software architectures based on actor model (2003)

by H Ding, C Zheng, L Sha, G Agha
Venue:In Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering (SEKE’03