Real-time interactive streams and temporal objects language
Mauricio Toro, Myriam Desainte‐Catherine, David Janin, Yann Orlarey · 2018
We introduce a real-time interactive streams language based on themodel of temporal objects in order to (1) study various typing featuresfor timed streams and (2) define a hierarchical calculus for streamprocessus. The present document deals only with formalisation, andintroduces the typing features.