Error Recovery in Systems of Communicating Processes

@inproceedings{Ciuffoletti:ICSE84,
  author    = {Augusto Ciuffoletti},
  title     = {Error Recovery in Systems of Communicating Processes},
  booktitle = {ICSE},
  pages     = {6--17},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}