Publications BibTeX references@inproceedings{SpeTalFTSD89, title = {The Design of Fault-Tolerant Distributed Software Using a Concurrent Language}, author = {Spezzano, Giandomenico and Talia, Domenico}, journal = {Proceedings of 12th International Conference on FTSD}, booktitle = {Proceedings of 12th International Conference on FTSD}, year = {1989}, pages = {260-265}, address = {Prague}, month = {September} }