Causalité dans les calculs d'événements

Bernard Serpette 1 David Janin 2
1 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
2 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Résumé : Si l'on considère un événement comme une valeur quelconque associée à une date de réception, un calcul d'événements est une fonction produisant un ensemble d'événements à partir d'un ensemble d'événements reçus. Un sous-ensemble particulièrement intéressant de ces fonctions correspond aux fonctions causales dont les événements produits avant une date donnée ne dépendent que des événements reçus avant cette même date. Dans cet article, nous proposons une définition très simple permettant de caractériser ces fonctions causales.
Type de document :
Communication dans un congrès
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France. JFLA 2017
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01403369
Contributeur : Bernard Serpette <>
Soumis le : vendredi 25 novembre 2016 - 18:50:08
Dernière modification le : jeudi 11 janvier 2018 - 16:49:56
Document(s) archivé(s) le : mardi 21 mars 2017 - 13:24:30

Fichier

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

Identifiants

  • HAL Id : hal-01403369, version 1

Citation

Bernard Serpette, David Janin. Causalité dans les calculs d'événements. JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs , Jan 2017, Gourette, France. JFLA 2017. 〈hal-01403369〉

Partager

Métriques

Consultations de la notice

243

Téléchargements de fichiers

183