Pages that link to "Item:Q1351804"
From MaRDI portal
The following pages link to An algebraic characterization of observational equivalence (Q1351804):
Displaying 9 items.
- Studying equivalences of transition systems with algebraic tools (Q673968) (← links)
- A logical characterization of observation equivalence (Q802306) (← links)
- A proof-theoretic characterization of observational equivalence (Q1060006) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- Algebraic aspect of the observability property (Q1920401) (← links)
- (Q3343432) (← links)
- (Q3707384) (← links)
- (Q4853589) (← links)
- Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926) (← links)