Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

Authors:
Jesús Aranda;Jorge A. Pérez;Camilo Rueda;Frank D. Valencia
Affiliations:
INRIA Futurs and LIX, Ecole Polytechnique, France and Escuela de Ingeniería de Sistemas y Computación, Universidad del Valle, Colombia;Dept. of Computer Science, University of Bologna, Italy;Dept. of Science and Engineering of Computing, Universidad Javeriana, Cali, Colombia and IRCAM, Paris, France;CNRS and LIX, Ecole Polytechnique, France
Venue:
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Year:
2008

Citing 5
Cited 1

Concurrent constraint programming

Concurrent constraint programming
Temporal concurrent constraint programming: denotation, logic and applications

Nordic Journal of Computing
Timed Concurrent Constraint Programming for Analysing Biological Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal cell biology in biocham

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology

Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

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.