Partial Characterization of Synchronization Languages - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

Partial Characterization of Synchronization Languages

Résumé

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.
Fichier non déposé

Dates et versions

inria-00544978 , version 1 (09-12-2010)

Identifiants

  • HAL Id : inria-00544978 , version 1

Citer

Isabelle Ryl, Yves Roos, Mireille Clerbout. Partial Characterization of Synchronization Languages. Proc. 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS'97), 1997, Bratislava, Slovakia. pp.209--218. ⟨inria-00544978⟩
49 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More