The following pages link to Coalgebraic Symbolic Semantics (Q2888486):
Displaying 8 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Coalgebraic Semantics of Heavy-Weighted Automata (Q2787337) (← links)
- Symbolic and Asynchronous Semantics via Normalized Coalgebras (Q3003325) (← links)
- Encoding natural semantics in Coq (Q5096388) (← links)
- Algebra and Coalgebra in Computer Science (Q5492823) (← links)
- Algebra and Coalgebra in Computer Science (Q5492824) (← links)