Pages that link to "Item:Q2043812"
From MaRDI portal
The following pages link to Operational semantics with semicommutations (Q2043812):
Displaying 7 items.
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- Operational semantics and generalized weakest preconditions (Q1330453) (← links)
- Formal foundations of operational semantics (Q1426872) (← links)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- (Q4738189) (← links)
- Operational semantics using the partiality monad (Q5168888) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)