In this review, it is explained and compared different software and formalisms used in music
interaction: sequencers, computer-assisted improvisation, meta-instruments, score …

We extended our simulation tool Ntccrt for probabilistic ntcc (pntcc) models. In addition, we
developed a verification tool for pntcc models. Using this tool we can prove properties such …

In this article we present Gelisp, a new library to represent musical Constraint Satisfaction
Problems and search strategies intuitively. Gelisp has two interfaces, a command-line one …

In this paper we extend PALPS, a process calculus proposed for the spatially-explicit,
individual-based modeling of ecological systems, with a synchronous parallel operator. The …

We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit,
individual-based modeling of ecological systems. The new semantics of S-PALPS allows an …

Interactive Scores is a formalism for the design and performance of interactive scenarios that
provides temporal relations (TRs) among the objects of the scenario. We can model TRs …

We can program a Real-Time (RT) music improvisation system in C++ without a formal
semantic or we can model it with process calculi such as the Non-deterministic Timed …

Interactive Scores (IS) are a formalism for the design and performance of interactive
multimedia scenarios. IS provide temporal relations (TR), but they cannot represent …

Software to design multimedia scenarios is usually based either on a fixed timeline or on
cue lists, but both models are unrelated temporally. On the contrary, the formalism of …

Writing music interaction systems is not easy because their concurrent processes usually
access shared resources in a non-deterministic order, often leading to unpredictable …