Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios

DOI10.1080/17459737.2013.870610zbMath1327.00027OpenAlexW2103121043MaRDI QIDQ3454318

Myriam Desainte-Catherine, Mauricio Toro, Camilo Rueda

Publication date: 24 November 2015

Published in: Journal of Mathematics and Music (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/17459737.2013.870610

zbMATH Keywords

synchronizationinteractionconcurrencyevent structuresconcurrent constraint programmingccpntccinteractive music scorestemporal constraint programming

Mathematics Subject Classification ID

Mathematics and music (00A65)

Related Items (2)

Foundations for Reliable and Flexible Interactive Multimedia Scores ⋮ A general overview of formal languages for individual-based modelling of ecosystems

Cites Work

• Maintaining knowledge about temporal intervals
• Temporal constraint networks
• On validity in modelization of musical problems by CCP
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios