Pages that link to "Item:Q2843732"
From MaRDI portal
The following pages link to Towards a theory of mathematical operational semantics (Q2843732):
Displaying 9 items.
- Category theory for operational semantics (Q703525) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- Formal foundations of operational semantics (Q1426872) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Structural operational semantics. (Q2760240) (← links)
- Modularity of behaviours for mathematical operational semantics (Q2847814) (← links)
- Automata, Languages and Programming (Q5716866) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)