Foundations for reliable and flexible interactive multimedia scores

DOI10.1007/978-3-319-20603-5_3zbMATH Open1320.00013OpenAlexW784264405MaRDI QIDQ2942295FDOQ2942295

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

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

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)

Cites Work

• Linear logic
• A general proof system for modalities in concurrent constraint programming
• Title not available (Why is that?)
• Logic Programming with Focusing Proofs in Linear Logic
• Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios
• Foundations for reliable and flexible interactive multimedia scores

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)