Pages that link to "Item:Q5166622"
From MaRDI portal
The following pages link to Modularity and Implementation of Mathematical Operational Semantics (Q5166622):
Displaying 4 items.
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Formalizing bialgebraic semantics in PVS 6.0 (Q5240186) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)