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.
BibTeX
@inproceedings{conf/seke/DingZSA03,
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",
}