Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP

@article{Boug1987RepeatedSI,
  title={Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP},
  author={Luc Boug{\'e}},
  journal={Theor. Comput. Sci.},
  year={1987},
  volume={49},
  pages={145-169}
}