Structured Interactive Musical Scores

Toro-Bermudez, Mauricio

doi:10.4230/LIPIcs.ICLP.2010.300

Document

Structured Interactive Musical Scores

Author Mauricio Toro-Bermudez

Part of: Volume: Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: International Conference on Logic Programming (ICLP)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2010-06-25

PDF

File

PDF

LIPIcs.ICLP.2010.300.pdf

Filesize: 96 kB
3 pages

Document Identifiers

DOI: 10.4230/LIPIcs.ICLP.2010.300
URN: urn:nbn:de:0030-drops-26134

Subject Classification

Keywords

Ntcc
ccp
interactive scores
temporal relations
faust
ntccrt
heterogeneous systems
automatic verification

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs among objects in Time Stream Petri nets, but it is difficult to represent global constraints. This can be done explicitly in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We want to formalize a heterogeneous system that controls in one subsystem the concurrent execution of the objects using ntcc, and audio and video processing in the other. We also plan to develop an automatic verifier for ntcc.

Cite As Get BibTex

Mauricio Toro-Bermudez. Structured Interactive Musical Scores. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 300-302, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010) https://doi.org/10.4230/LIPIcs.ICLP.2010.300

Author Details

Mauricio Toro-Bermudez

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail