Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programmin

Jesus Aranda 1, 2 Perez Jorge 3 Camilo Rueda 4, 5 Frank Valencia 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Communication dans un congrès
Logic Programming, Dec 2008, Udine, Italy. Volume 5366/2009, 2008, Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. 〈10.1007/978-3-540-89982-2_57〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00430533
Contributeur : Jesus Aranda <>
Soumis le : dimanche 8 novembre 2009 - 17:00:56
Dernière modification le : jeudi 10 mai 2018 - 02:06:30
Document(s) archivé(s) le : mardi 16 octobre 2012 - 13:30:24

Fichier

iclp08.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Jesus Aranda, Perez Jorge, Camilo Rueda, Frank Valencia. Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programmin. Logic Programming, Dec 2008, Udine, Italy. Volume 5366/2009, 2008, Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. 〈10.1007/978-3-540-89982-2_57〉. 〈inria-00430533〉

Partager

Métriques

Consultations de la notice

402

Téléchargements de fichiers

109