Pages that link to "Item:Q2866314"
From MaRDI portal
The following pages link to Bialgebraic methods in structural operational semantics (invited talk) (Q2866314):
Displaying 9 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Adding recursive constructs to bialgebraic semantics (Q1878714) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Bi-inductive structural semantics (extended abstract) (Q2871828) (← links)
- Formalizing bialgebraic semantics in PVS 6.0 (Q5240186) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)