6533b7dbfe1ef96bd1270bb0

RESEARCH PRODUCT

Coding with traces

Véronique BruyèreGiovanna GuaianaClelia De Felice

subject

CombinatoricsMorphismlawMathematics::Category TheorySuffix treeCoding (social sciences)MathematicsDecidabilitylaw.invention

description

We prove that the existence of a coding between two trace monoids is decidable for some families of trace monoids. Decidability heavily depends on the structure of the dependence graphs. The concept of coding is based on the new notion of strong morphism between trace monoids.

yearjournalcountryeditionlanguage
1994-01-01
https://doi.org/10.1007/3-540-57785-8_154