Generalized Synchronization Languages

Isabelle Ryl; Yves Roos; Mireille Clerbout

inria-00544973, version 1

Generalized Synchronization Languages

Isabelle Ryl ¹, Yves Roos ¹, Mireille Clerbout ¹

Proc. 12th International Symposium Fundamentals of Computation Theory 1684 (1999) 451--462

Résumé : 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.

1 : Laboratoire d'Informatique Fondamentale de Lille (LIFL)
CNRS : UMR8022 – Université Lille I - Sciences et technologies – Université Lille III - Sciences humaines et sociales – INRIA

inria-00544973, version 1
http://hal.inria.fr/inria-00544973
oai:hal.inria.fr:inria-00544973
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : Jeudi 9 Décembre 2010, 12:16:27
Dernière modification le : Jeudi 9 Décembre 2010, 12:16:27

Voir la fiche détaillée

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec actes</head>
<biblStruct type="inproceedings" xml:id="inria-00544973"><analytic>
<author><persName><forename>Isabelle</forename><surname>Ryl</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<author><persName><forename>Yves</forename><surname>Roos</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<author><persName><forename>Mireille</forename><surname>Clerbout</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<title type="main" level="a">Generalized Synchronization Languages</title></analytic><monogr><meeting>Proc. 12th International Symposium Fundamentals of Computation Theory</meeting><imprint><publisher>Springer-Verlag</publisher><pubPlace><settlement>Iasi,</settlement><country>Roumanie</country></pubPlace><biblScope type="publicationDate">1999-00-00</biblScope><biblScope type="vol">1684</biblScope><biblScope type="pp">451--462</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00544973</idno></biblStruct>
</listBibl>
</listBibl>