Infinite traces
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 277-308
- https://doi.org/10.1007/3-540-53479-2_12
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Traces, histories, graphs: Instances of a process monoidPublished by Springer Nature ,2005
- Membership problems for regular and context-free trace languagesInformation and Computation, 1989
- Theory of tracesTheoretical Computer Science, 1988
- Mixed product and asynchronous automataTheoretical Computer Science, 1986
- Trace languages defined by regular string languagesRAIRO - Theoretical Informatics and Applications, 1986
- Une condition suffisante de reconnaissabilité dans un monoïde partiellement commutatifRAIRO - Theoretical Informatics and Applications, 1986
- Infinitary languages: Basic theory and applications to concurrent systemsPublished by Springer Nature ,1986
- A syntactic congruence for rational ω-languagesTheoretical Computer Science, 1985
- Recognizable subsets of some partially abelian monoidsTheoretical Computer Science, 1985
- Problèmes combinatoires de commutation et réarrangementsLecture Notes in Mathematics, 1969