Structured interactive musical scores

DOI10.4230/LIPICS.ICLP.2010.300zbMATH Open1237.68131MaRDI QIDQ2883113FDOQ2883113

Authors: Mauricio Toro-Bermúdez 

Publication date: 11 May 2012

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

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

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)

Cited In (5)

• Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
• Title not available (Why is that?)
• 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)