Foundations for reliable and flexible interactive multimedia scores

DOI10.1007/978-3-319-20603-5_3MaRDI QIDQ2942295zbMATH OpenOpenAlexFDO

Authors Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda

Publication date 20 August 2015

Published in Mathematics and Computation in Music (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-20603-5_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematics and music (00A65)

Recommendations

• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Structured interactive musical scores
• Interactive systems with registers and voices
• scientific article; zbMATH DE number 50195
• A formal analysis of musical scores

Cites work

• scientific article; zbMATH DE number 517072 (Why is no real title available?)
• A general proof system for modalities in concurrent constraint programming
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Foundations for reliable and flexible interactive multimedia scores
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic

Cited in

(5)

• Structured interactive musical scores
• Hybrid and subexponential linear logics
• Foundations for reliable and flexible interactive multimedia scores
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Hybrid linear logic, revisited

This page was built for publication: Foundations for reliable and flexible interactive multimedia scores

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