A calculational approach to reactive systems

DOI10.1016/S0167-6423(99)00025-8zbMath0954.68035OpenAlexW2062782413MaRDI QIDQ1566912

Burghard von Karger

Publication date: 4 June 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(99)00025-8

zbMATH Keywords

real-time systemstemporal logicreactive systemsprogram calculationsequential algebra

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Unifying theories of reactive design contracts ⋮ Regular algebra applied to language problems

This page was built for publication: A calculational approach to reactive systems