selected publications academic article A Semantic Framework for the Design of Distributed Reactive Real-Time Languages and Applications 2020-7-20
