Coding with traces
| Autor: | Véronique Bruyère, Giovanna Guaiana, Clelia De Felice |
|---|---|
| Rok vydání: | 1994 |
| Předmět: | |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783540577850 STACS |
| DOI: | 10.1007/3-540-57785-8_154 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|