Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing.

Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah

Browse the full PDP paper archive.