Pages that link to "Item:Q1878714"
From MaRDI portal
The following pages link to Adding recursive constructs to bialgebraic semantics (Q1878714):
Displaying 8 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Bi-inductive structural semantics (Q1012127) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- Bi-inductive Structural Semantics (Q2871828) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- The Expression Lemma (Q3521989) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
