![](/img/cover-not-exists.png)
[IEEE 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Heraklion, Crete, Greece (2016.2.17-2016.2.19)] 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) - Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing
Boussabbeh, Maha, Tounsi, Mohamed, Kacem, Ahmed Hadj, Mosbah, MohamedYear:
2016
Language:
english
DOI:
10.1109/pdp.2016.113
File:
PDF, 355 KB
english, 2016