Generalized Synchronization Languages

Abstract : Generalized synchronization languages are a model used to describe the behaviors of distributed applications whose synchronization constraints are expressed by generalized synchronization expressions --- an extension of synchronization expressions. Generalized synchronization languages were conjectured by Salomaa and Yu to be characterized by a semi-commutation. We show that this semi-commutation characterizes the images of generalized synchronization languages by a morphism-like class of rational functions.
Type de document :
Communication dans un congrès
Gabriel Ciobanu and Gheorghe Paun. Proc. 12th International Symposium Fundamentals of Computation Theory, 1999, Iasi,, Romania. Springer-Verlag, 1684, pp.451--462, 1999, Lecture Notes in Computer Science
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00544973, version 1

Collections

Citation

Isabelle Ryl, Yves Roos, Mireille Clerbout. Generalized Synchronization Languages. Gabriel Ciobanu and Gheorghe Paun. Proc. 12th International Symposium Fundamentals of Computation Theory, 1999, Iasi,, Romania. Springer-Verlag, 1684, pp.451--462, 1999, Lecture Notes in Computer Science. 〈inria-00544973〉

Partager

Métriques

Consultations de la notice

85