2021-04-122018-08-311817319519928645SCOPUS;2-s2.0-85052965488http://hdl.handle.net/10784/28617In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta-instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools. © 2005 – ongoing JATIT & LLS.engAsian Research Publishing NetworkInteractive scoresMeta-instrumentsProcess calculiScore-followingTemporal constraintsinfo:eu-repo/semantics/article2021-04-12Toro, Mauricio