Pages that link to "Item:Q1209325"
From MaRDI portal
The following pages link to From algebra to operational semantics (Q1209325):
Displaying 8 items.
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP (Q2154026) (← links)
- Towards a theory of mathematical operational semantics (Q2843732) (← links)