2026-07-22T17:01:26Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2613 2024-03-06T10:33:35Z ddc:004 open_access

Structured Interactive Musical Scores Toro-Bermudez, Mauricio Ntcc ccp interactive scores temporal relations faust ntccrt heterogeneous systems automatic verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mauricio Toro-Bermudez 2010 Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICLP.2010.300 urn:nbn:de:0030-drops-26134 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.300 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode