Pages that link to "Item:Q2914679"
From MaRDI portal
The following pages link to Trace Semantics via Determinization (Q2914679):
Displayed 10 items.
- Coalgebraic constructions of canonical nondeterministic automata (Q890382) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- A (co)algebraic theory of succinct automata (Q2423764) (← links)
- (Q3121518) (← links)
- (Q4585069) (← links)
- (Q5009440) (← links)
- (Q5028446) (← links)
- Simplified Coalgebraic Trace Equivalence (Q5256339) (← links)
- Product Rules and Distributive Laws (Q5739452) (← links)
- (Q5875398) (← links)