Open Systems Laboratory at Illinois

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

By Hui Ding, Can Zheng, Lui Sha, and Gul Agha. In SEKE, 458–466. 2003.


    author = "Ding, Hui and Zheng, Can and Sha, Lui and Agha, Gul",
    title = "Specification and Validation of Fault-Tolerant Software
             Architectures Based on Actor Model",
    booktitle = "SEKE",
    crossref = "conf/seke/2003",
    pages = "458-466",
    year = "2003",

@proceedings{conf/seke/2003, title = "Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003", year = "2003", }