@inproceedings{BoussabbehPDP2016,
  author    = {Maha Boussabbeh and
               Mohamed Tounsi and
               Ahmed Hadj Kacem and
               Mohamed Mosbah},
  title     = {Towards a General Framework for Ensuring and Reusing Proofs of Termination
               Detection in Distributed Computing},
  booktitle = {24th Euromicro International Conference on Parallel, Distributed,
               and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
               February 17-19, 2016},
  pages     = {504--511},
  year      = {2016},
  doi       = {10.1109/PDP.2016.113},
}