Recent developments in trace theory

V. Diekert, P. Gastin, A. Petit

IBP-Litp 1996/03: Rapport de Recherche Litp / Litp research reports
13 pages - Février/February 1996 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: Recent developments in trace theory

Résumé : Dans ce papier, nous faisons un tour d'horizon de certains résultats récents dans le cadre de la théorie des traces de Mazurkiewicz. Plus précisément, nous considérons les sujets suivants : langages reconnaissables, automates asynchrones pour les traces finies ou infinies, codage de traces, réécriture de traces.

Abstract : In this paper we give a survey on some active research in the theory of Mazurkiewicz traces. We restrict our attention to some few topics: recognizable languages, asynchronous automata including infinite traces, trace codings, and trace rewriting.

Publications internes Litp 1996 / Litp research reports 1996