@InProceedings{FH06FoSSaCS,
  author    =   {Adrian Francalanza and Matthew Hennessy},
  title     =   {A Theory of System Fault Tolerance},
  editor    =   {L. Aceto and A. Ingolfsdottir},
  booktitle =   {Proc. of 9th Intern. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS'06)},
  series    =   {LNCS},
  volume    =  	{3921},
  pages     =  	{16-31},
  year      =  	{2006},
  isbn      =   {3-540-33045-3},
  publisher =   {Springer},
}