Author:
Altisen Karine,Corbineau Pierre,Devismes Stéphane
Publisher
Springer International Publishing
Reference35 articles.
1. Abel, A., Pientka, B., Thibodeau, D., Setzer, A.: Copatterns: programming infinite structures by observations. In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Rome, Italy, 23–25 January 2013 (2013)
2. Altisen, K., Corbineau, P., Devismes, S.: PADEC: A Framework for Certified Self-Stabilization.
http://www-verimag.imag.fr/~altisen/PADEC/
3. Altisen, K., Corbineau, P., Devismes, S.: A framework for certified self-stabilization. Logical Methods Comput. Sci. (special issue of FORTE 2016) 13(4) (2017)
4. Altisen, K., Devismes, S., Durand, A.: Concurrency in snap-stabilizing local resource allocation. J. Parallel Distrib. Comput. 102, 42–56 (2017)
5. Lecture Notes in Computer Science;C Auger,2013
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献