Pages that link to "Item:Q3055754"
From MaRDI portal
The following pages link to Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language (Q3055754):
Displaying 4 items.
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- Denotational Approach to an Event-Driven System-Level Language (Q3585036) (← links)