Workshop on Algebraic and Syntactic Aspects of Concurrency

P . Gastin, A. Petit

IBP-Litp 1995/48: Rapport de Recherche Litp / Litp research reports
223 pages - Octobre/October 1995 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: Workshop on Algebraic and Syntactic Aspects of Concurrency

Résumé : WASAC (Workshop on Algebraic and Syntactic Aspects of Concurrency) s'est tenu du 3 au 5 avril 1995 à Chantilly (France). Il a réuni pendant 2 jours et demi 35 chercheurs invités venant d'Allemagne, France, Hollande et Italie.
Organisé sous les auspices scientifiques et financiers du projet français inter-PRC MEP (Modèles Et Preuves de systèmes parallèles et répartis) et du projet européen ESPRIT BRA ASMICS II (Algebraic and Syntactic Methods in Computer Science), son objectif était double. Tout d'abord, il s'agissait de donner aux participants l'opportunité de présenter leurs travaux et d'avoir des échanges à propos des aspects algébriques et syntaxiques liés à la théorie de la concurrence. De plus, nous souhaitions attirer l'attention et l'intérêt des participants sur des domaines proches de leurs problématiques usuelles. Nous espérons avoir atteint ce but grâce à la réunion des deux communautés (ASMICS et MEP) et aux deux conférences invitées données par M. Droste (Dresden, Allemagne) sur les monoïdes concurrents et S. Yovine (Grenoble, France) sur les automates temporisés.
Le présent rapport constitue les actes de WASAC. Il ne s'agit pas d'une publication officielle mais d'un recueil de 13 articles correspondant aux exposés donnés lors du workshop. Ces articles, souvent déjà publiés dans des actes officiels de conférences ou dans des journaux, portent essentiellement sur les automates temporisés, les monoïdes concurrents, les ordres partiels, les traces (à la Mazurkiewicz) et les structures d'événements.

Abstract : WASAC (Workshop on Algebraic and Syntactic Aspects of Concurrency) was held in Chantilly (France) from April 3 to April 5, 1995. It gathered during 2 days and a half 35 invited researchers from France, Germany, Holland and Italy.
Organized under the scientific and financial auspices of the french inter-PRC project MEP (Modèles Et Preuves de systèmes parallèles et répartis) and the ESPRIT BRA ASMICS II (Algebraic and Syntactic Methods in Computer Science), its aim was twofold. First, we wanted to give the participants the opportunity to present recent works and to exchange ideas about algebraic and syntactic aspects of concurrency. Our second goal was to draw the attention of the participants to some areas closely related to their usual problematics. We hope that this goal has been achieved both by the reunion of the two communauties (ASMICS and MEP) and by two invited talks given by M. Droste (Dresden, Allemagne) on concurrent monoids and S. Yovine (Grenoble, France) on timed automata.
This technical report constitutes the proceedings of WASAC. It is not an official publication but a collection of 13 papers related to the talks given during the workshop. These articles, often already published in official proceedings of conferences or revues, focus mainly on event structures, concurrent monoids, Mazurkiewicz traces, partial orders and timed automata.

Publications internes Litp 1995 / Litp research reports 1995