Concurrent constraints models of music interaction

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• [MOBI] Communicating And Mobile Systems The Pi Calculus

  2021cited by this paper
• Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction

  2015cited by this paper
• A Calculus of Contracting Processes

  2010cited by this paper
• DISSONANCES: BRIEF DESCRIPTION AND ITS COMPUTATIONAL REPRESENTATION IN THE RTCC CALCULUS

  2009cited by this paper
• A Declarative Language for Dynamic Multimedia Interaction Systems

  2009cited by this paper
• Psi-calculi: Mobile Processes, Nominal Data, and Logic

  2009cited by this paper
• Non-determinism and Probabilities in Timed Concurrent Constraint Programming

  2008cited by this paper
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

  2007cited by this paper
• A system of interactive scores based on Petri nets

  2007cited by this paper
• Timed Concurrent Constraint Programming. The utcc calculus

  2007cited by this paper
• On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

  2006cited by this paper
• Using Factor Oracles for Machine Improvisation

  2004cited by this paper
• Temporal Concurrent Constraint Programming: Denotation, Logic and Applications

  2002cited by this paper
• Factor Oracle: A New Structure for Pattern Matching

  1999cited by this paper
• Real-time audio analysis tools for Pd and MSP

  1998cited by this paper
• Objects, Time and Constraints in OpenMusic

  1998cited by this paper
• Probabilistic Concurrent Constraint Programming

  1997cited by this paper
• Foundations of timed concurrent constraint programming

  1994cited by this paper
• Proving concurrent constraint programs correct

  1994cited by this paper
• Design, Implementation, and Evaluation of the Constraint Language cc(FD)

  1994cited by this paper
• The Mobility Workbench - A Tool for the pi-Calculus

  1994cited by this paper
• Preemption in Concurrent Systems

  1993cited by this paper
• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  1992cited by this paper
• The Temporal Logic of Reactive and Concurrent Systems

  1991cited by this paper
• Concurrent constraint programming

  1989cited by this paper
• Maintaining knowledge about temporal intervals

  1983cited by this paper

• Representing Modifiable and Reusable Musical Content on the Web With Constrained Multi-Hierarchical Structures

  2020cites this paper
• Dynamic Slicing for Concurrent Constraint Languages

  2020cites this paper
• A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems

  2019cites this paper
• Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc

  2018cites this paper
• Current Trends and Future Research Directions for Interactive Music

  2018influential citation
• Modeling temporal constraints for a system of interactive scores

  2017cites this paper
• Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation

  2016cites this paper
• GELISP : A Framework to represent musical constraint satisfaction problems and search strategies

  2016cites this paper
• Slicing Concurrent Constraint Programs

  2016cites this paper
• Ntccrt: A Concurrent Constraint Framework for Real-Time Interaction

  2015cites this paper
• Concurrent Constraint Machine Improvisation: Models and Implementation

  2015cites this paper
• An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls

  2015cites this paper
• A Model for Interactive Scores with Temporal Constraints and Conditional Branching

  2015cites this paper
• Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems

  2015cites this paper
• Gelisp: A Library to Represent Musical CSPs and Search Strategies

  2015cites this paper
• NTCCRT: A concurrent constraint framework for soft-real time music interaction

  2015cites this paper
• Structured Interactive Music Scores

  2015cites this paper
• Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models

  2013cites this paper
• A survey of computational calculi used in musical applications

  2013cites this paper
• Structured interactive scores : from a structural description of a multimedia scenario to a real-time capable implementation with formal semantics

  2012cites this paper
• Structured Interactive Scores: From a simple description of an interactive scenario to a real-time capable implementation with formal semantics

  2012cites this paper
• Structured Interactive Musical Scores.

  2010cites this paper
• Concurrent Constraint Conditional-Branching Timed Interactive Scores

  2010influential citation