The following pages link to (Q4608676):
Displaying 10 items.
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Coalgebraic Semantics of Heavy-Weighted Automata (Q2787337) (← links)
- Coalgebraic Trace Semantics via Forgetful Logics (Q2948557) (← links)
- Coalgebraic trace semantics via forgetful logics (Q2974794) (← links)
- A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves (Q5009440) (← links)
- (Q5028446) (← links)
- Coalgebraic Infinite Traces and Kleisli Simulations (Q5275359) (← links)
- Generic Trace Semantics via Coinduction (Q5453504) (← links)
- Algebra and Coalgebra in Computer Science (Q5492823) (← links)
- (Q5875345) (← links)