Pages that link to "Item:Q903516"
From MaRDI portal
The following pages link to Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516):
Displaying 9 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- UTP Semantics for rTiMo (Q2971181) (← links)
- Denotational Approach to an Event-Driven System-Level Language (Q3585036) (← links)
- (Q4621133) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming (Q6535845) (← links)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency (Q6561342) (← links)