@InProceedings{MOSBAH_2006-DistributedRecognition, Author = {Mosbah, Mohamed and Ossamy, Rodrigue}, Title = {Distributed Recognition of Graph Properties with Local Computations}, BookTitle = {International Symposium and School on Advance Distributed Systems (ISSADS 2006)}, Address = {Guadalajara, Mexico}, Month = {January}, Year = {2006} } @InProceedings{METIVIER_2004-Synchronizers, Author = {Métivier, Yves and Mosbah, Mohamed and Ossamy, Rodrigue and Sellami, Affif}, Title = {Synchronizers for Local Computations}, BookTitle = {Graph Transformations}, Volume = {3256}, Pages = {271--86}, Publisher = {Springer Berlin / Heidelberg}, Year = {2004} } @InProceedings{1025723, Author = {Mosbah, Mohamed and Ossamy, Rodrigue}, Title = {A Programming Language for Local Computations in Graphs: Computational Completeness}, BookTitle = {ENC '04: Proceedings of the Fifth Mexican International Conference in Computer Science}, Pages = {12--19}, Publisher = {IEEE Computer Society}, Address = {Washington, DC, USA}, Year = {2004} } @InProceedings{1025725, Author = {Mosbah, Mohamed and Ossamy, Rodrigue}, Title = {Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing}, BookTitle = {ENC '04: Proceedings of the Fifth Mexican International Conference in Computer Science}, Pages = {35--42}, Publisher = {IEEE Computer Society}, Address = {Washington, DC, USA}, Year = {2004} } @InProceedings{MOSBAH_2004-AProgrammingLanguage, Author = {Mosbah, Mohamed and Ossamy, Rodrigue}, Title = {A Programming Language for Local Computation Graphs}, BookTitle = {MCSEAI'04, Eighth Maghrebian Conference on Software Engineering and Artificial Intelligence}, Address = {Sousse, Tunisia}, Month = {May}, Year = {2004} }