The following pages link to Infinite trace equivalence (Q2474445):
Displaying 8 items.
- On the concatenation of infinite traces (Q685439) (← links)
- Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies (Q2134814) (← links)
- Automatic construction of systems of distributed components from nested Petri nets models (Q2216722) (← links)
- Exploratory functions on nondeterministic strategies, up to lower bisimilarity (Q2805166) (← links)
- Infinite trace equivalence (Q2852364) (← links)
- (Q5028431) (← links)
- (Q5079748) (← links)
- Global State Considered Helpful (Q5415641) (← links)