Real-time interactive streams and temporal objects language

Abstract

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.

A general overview of formal languages for individual-based modelling of ecosystems

“…Surprisingly, many formalisms developed for population modelling have been also used to model music interaction in real life performance; for instance process calculi has been used to model real-time performance in music [105], computer music improvisation [85] and interactive music scores [102]. In fact, process calculi have been extensively applied to the modeling of interactive music systems [95,94,92,88,93,87,101,90,91,86,89,85,100,106,84,105,1,102,96,55,82,79,81,83,2,99,80,97,98,78] and ecological systems [103,60,104,61]. In addition, research on algorithms [57,53,70,67,69] and software engineering [74,46] also contributes to this field.…”