Partial Characterization of Synchronization Languages

Abstract : Synchronization languages are associated with synchronization expressions, a high-level construct which allows a programmer to express synchronization constraints in a distributed context. We give a negative answer to a conjecture enunciated by L. Guo, K. Salomaa and S. Yu which aims at characterizing synchronization languages in terms of regular languages closed under a rewriting system. Then we propose an extension of the system which gives a positive answer for a class of regular languages.
Type de document :
Communication dans un congrès
I. Privara and P. Ruvzivcka. Proc. 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS'97), 1997, Bratislava, Slovakia. Springer-Verlag, Berlin, 1295, pp.209--218, 1997, Lecture Notes in Computer Science
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00544978, version 1

Collections

Citation

Isabelle Ryl, Yves Roos, Mireille Clerbout. Partial Characterization of Synchronization Languages. I. Privara and P. Ruvzivcka. Proc. 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS'97), 1997, Bratislava, Slovakia. Springer-Verlag, Berlin, 1295, pp.209--218, 1997, Lecture Notes in Computer Science. 〈inria-00544978〉

Partager

Métriques

Consultations de la notice

59