Pages that link to "Item:Q3585032"
From MaRDI portal
The following pages link to The Miracle of Reactive Programming (Q3585032):
Displaying 7 items.
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Circus Time with Reactive Designs (Q3455644) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)