Author:
Méry Dominique,Mosbah Mohamed,Tounsi Mohamed
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verification by Construction of Distributed Algorithms;Theoretical Aspects of Computing – ICTAC 2019;2019
2. A Fault-Tolerant Handshake Algorithm for Local Computations;2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA);2016-03
3. Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms;Theoretical Aspects of Computing – ICTAC 2016;2016
4. Revisiting snapshot algorithms by refinement-based techniques;Computer Science and Information Systems;2014