Abstract Concurrent Constraint Programming (CCP) has been used over the last two
decades as an elegant and expressive model for concurrent systems. It models systems of …

The FORCES project aims at providing robust and declarative formalisms for analyzing
systems in the emerging areas of Security Protocols, Biological Systems and Multimedia …

Process calculi treat concurrent processes much like the λ-calculus treat computable
functions. They provide a language in which the structure of terms represents the structure of …

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming* Page 1
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming* Jesús …

We report on a technique for modelling biological systems based on the ntcc calculus, a
model of concurrency where systems are specified by means of constraints (ie, formulae in …

The notion of computation has significantly evolved in the last ten years or so. Modern
computing systems (eg, Internet) now exhibit infinite behavior, usually in the context of …

We report on a technique for modelling biological systems based on the ntcc calculus, a
model of concurrency where systems are specified by means of constraints (ie, formulae in …

We set the grounds of a framework for modeling and verifying systems involving
probabilities, time, and partial information as constraints. A timed concurrent constraint …

Musical phenomena are the most formally studied subset of the fine arts in our present time.
From mathematical formalization to psychological analysis onto computer models are …

One of the most recent and exciting area using computer science formalisms to explore and
understand the complexity of biological systems and its further applications in biological …