- Bialgebras for structural operational semantics: An introduction Bartek Klin Tue 28 March 2023
- A Structural Approach to Operational Semantics Gordon Plotkin Tue 26 March 2013
- Call-by-Push-Value: A Subsuming Paradigm PaulBlain Levy Tue 26 March 2013
- Structured operational semantics and bisimulation as a congruence Jan Friso Groote Frits Vaandrager Tue 26 March 2013
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A