Affordable Access

Partial Characterization of Synchronization Languages

Authors
  • Ryl, Isabelle
  • Roos, Yves
  • Clerbout, Mireille
Publication Date
Jan 01, 1997
Source
HAL
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times