The following pages link to Generic trace theory (Q2863893):
Displaying 11 items.
- On coalgebras over algebras (Q639641) (← links)
- Machine semantics (Q959818) (← links)
- Probabilistic anonymity via coalgebraic simulations (Q974115) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Steps and traces (Q1798791) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Coalgebraic trace semantics for continuous probabilistic transition systems (Q2871468) (← links)
- On coalgebras over algebras (Q2919449) (← links)
- From coalgebraic to monoidal traces (Q2919453) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)