Publications 2011
Academic Journals
- Pierre Castéran, Vincent Filou. Tasks, types and tactics for local computation systems. Studia Informatica Universalis, http://studia.complexica.net/Art/RI090102.pdf, 9.1:39-86, 2011.
- Mohamed Tounsi, Mohamed Mosbah, Dominique Méry. Proving Distributed Algorithms by Combining Refinement and Local Computations. Electronic Communications of the EASST, 35:0-2122, November 2011.
- Yves Métivier, John Michael Robson, Nasser Saheb-Djahromi, Akka Zemmari. An optimal bit complexity randomised distributed MIS algorithm. Distributed Computing, 23(5):331-340, January 2011.
Book Chapters
- Mohamed Mosbah, Rachid Echahed, Annegret Habel. Graph Computation Models.. In Graph Computation Models., Electronic Communications of the EASST, EASST, October 2011.
International Conferences
- Dominique Méry, Mohamed Mosbah, Mohamed Tounsi. Refinement-based Verification of Local Synchronization Algorithms. In Formal Methods FM2011, Lecture Notes in Computer Science, Limerick, Irlande, June 2011.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.