About Synchronization Languages

Synchronization languages are a model used to describe the behaviors of distributed applications whose synchronization constraints are expressed by synchronization expressions. Synchronization languages were conjectured by Guo, Salomaa and Yu to be characterized by a rewriting system. We have shown that this conjecture is not true. This negative result has led us to extend the rewriting system and Salomaa and Yu to extend the definition of synchronization languages. The aim of this paper is to establish the link between these two extensions, we show that the behaviors expressed by the two families of synchronization languages are only separated by morphisms.

[1]  Isabelle Simplot-Ryl,et al.  Partial Characterization of Synchronization Languages , 1997, MFCS.

[2]  Frits W. Vaandrager,et al.  The Difference between Splitting in n and n+1 , 1995, Inf. Comput..

[3]  Glynn Winskel,et al.  Models for concurrency: towards a classification , 1996 .

[4]  Sheng Yu,et al.  Rewriting Rules for Synchronization Languages , 1997, Structures in Logic and Computer Science.

[5]  R. Govindarajan,et al.  ParC project: practical constructs for parallel programming languages , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[6]  Sheng Yu,et al.  On Synchronization Languages , 1996, Fundam. Informaticae.

[7]  Isabelle Simplot-Ryl,et al.  Synchronization Languages , 1999, Theor. Comput. Sci..

[8]  Volker Diekert,et al.  The Book of Traces , 1995 .