The Miracle of Reactive Programming

DOI10.1007/978-3-642-14521-6_12zbMath1286.68096OpenAlexW1651364691MaRDI QIDQ3585032

J. C. P. Woodcock

Publication date: 31 August 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_12

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Circus Time with Reactive Designs ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ Modelling temporal behaviour in complex systems with Timebands ⋮ Angelic processes for CSP via the UTP ⋮ Unifying theories of reactive design contracts ⋮ On integrating confidentiality and functionality in a formal method

This page was built for publication: The Miracle of Reactive Programming