Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1635077
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.87873805
0 references
0 references
0.86597383
0 references
0.8659142
0 references
0.86521643
0 references
0.8651026
0 references
0.8647681
0 references
