Pages that link to "Item:Q2847814"
From MaRDI portal
The following pages link to Modularity of behaviours for mathematical operational semantics (Q2847814):
Displaying 9 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Category theory for operational semantics (Q703525) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Towards a theory of mathematical operational semantics (Q2843732) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- (Q5039164) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)