The following pages link to (Q4260382):
Displaying 8 items.
- Extensional equivalences for transition systems (Q1098303) (← links)
- Equivalence-preserving first-order unfold/fold transformation systems (Q1200980) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- (Q4353639) (← links)
- Combinatorics of past-similarity in higher dimensional transition systems (Q5364137) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710007) (← links)
- Algebraic characterizations of trace and decorated trace equivalences over tree-like structures (Q5940926) (← links)