Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.

Hui Ding, Can Zheng, Lui Sha, Gul Agha

Browse the full SEKE paper archive.