About Synchronization Languages

Abstract : Synchronization languages are a model used to describe the behaviors of distributed applications whose synchronization constraints are expressed by synchronization expressions. Synchronization languages were conjectured by Guo, Salomaa and Yu to be characterized by a rewriting system. We have shown that this conjecture is not true. This negative result has led us to extend the rewriting system and Salomaa and Yu to extend the definition of synchronization languages. The aim of this paper is to establish the link between these two extensions, we show that the behaviors expressed by the two families of synchronization languages are only separated by morphisms.
Type de document :
Communication dans un congrès
L. Brim and J. Gruska and J. Zlatuska. Proc. 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), 1998, Brno, Czech Republic. Springer-Verlag, 1450, 1998, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00544975
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : jeudi 9 décembre 2010 - 12:19:23
Dernière modification le : mercredi 20 juin 2018 - 15:18:02

Identifiants

  • HAL Id : inria-00544975, version 1

Collections

Citation

Isabelle Ryl, Yves Roos, Mireille Clerbout. About Synchronization Languages. L. Brim and J. Gruska and J. Zlatuska. Proc. 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), 1998, Brno, Czech Republic. Springer-Verlag, 1450, 1998, Lecture Notes in Computer Science. 〈inria-00544975〉

Partager

Métriques

Consultations de la notice

55