Structured interactive musical scores

DOI10.4230/LIPICS.ICLP.2010.300MaRDI QIDQ2883113zbMATH OpenFDO

Authors Mauricio Toro-Bermúdez

Publication date 11 May 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_ed41.html

zbMATH Keywords

heterogeneous systemsautomatic verificationtemporal relationsccpfaustinteractive scoresntccntccrt

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Foundations for reliable and flexible interactive multimedia scores
• On validity in modelization of musical problems by CCP
• scientific article; zbMATH DE number 1809625
• scientific article; zbMATH DE number 50195

Cited in

(5)

• Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
• scientific article; zbMATH DE number 50195 (Why is no real title available?)
• Foundations for reliable and flexible interactive multimedia scores
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Musical Composition and Gestural Diagrams

This page was built for publication: Structured interactive musical scores

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883113)