Logic Programming
Lecture Notes in Computer Science, 2008, Volume 5366/2008, 682-686, DOI: 10.1007/978-3-540-89982-2_57

Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

Jesús Aranda, Jorge A. Pérez, Camilo Rueda and Frank D. Valencia

View Related Documents

Abstract

We address the inclusion of stochastic information into an explicitly timed concurrent constraint process language. An operational semantics is proposed as a preliminary result. Our approach finds applications in biology, among other areas.
Research partially supported by the COLCIENCIAS project REACT (No. 1251-330-18902) and the INRIA Équipe Associée FORCES. The work of Jesús Aranda has been supported by COLCIENCIAS (Instituto Colombiano para el Desarrollo de la Ciencia y la Tecnología “Francisco José de Caldas”), INRIA Futurs and ÉGIDE (Centre français pour l’accueil et les échanges internationaux).

Fulltext Preview

Image of the first page of the fulltext document