Reactive system

[ "Algorithm", "Control theory", "Real-time computing", "Theoretical computer science", "Distributed computing", "Lustre (programming language)", "Synchronous programming language", "Esterel", "scenario based programming" ]