Pages that link to "Item:Q338626"
From MaRDI portal
The following pages link to Structural congruence for bialgebraic semantics (Q338626):
Displaying 10 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← 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)
- Distributive laws for monotone specifications (Q2329307) (← links)
- From bialgebraic semantics to congruence formats (Q2848127) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- (Q5014802) (← links)
- Foundations of Software Science and Computational Structures (Q5705905) (← links)
- A categorical approach to coalgebraic fixpoint logic (Q6666772) (← links)