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
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