Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Isabelle Simplot-Ryl Connect in order to contact the contributor
Submitted on : Thursday, December 9, 2010 - 12:16:27 PM
Last modification on : Monday, June 24, 2019 - 4:34:04 PM


  • HAL Id : inria-00544973, version 1



Isabelle Ryl, Yves Roos, Mireille Clerbout. Generalized Synchronization Languages. Proc. 12th International Symposium Fundamentals of Computation Theory, 1999, Iasi,, Romania. pp.451--462. ⟨inria-00544973⟩



Record views