Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926)
From MaRDI portal
scientific article; zbMATH DE number 1635077
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic characterizations of trace and decorated trace equivalences over tree-like structures |
scientific article; zbMATH DE number 1635077 |
Statements
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (English)
0 references
20 August 2001
0 references
behavioural equivalences
0 references
abstraction homomorphisms
0 references
minimal representatives
0 references
synchronization trees
0 references
