The following pages link to Infinite trace equivalence (Q2474445):
Displaying 6 items.
- 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)
- (Q5028431) (← links)
- (Q5079748) (← links)
- Global State Considered Helpful (Q5415641) (← links)
