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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01403369
Contributor : Bernard Serpette <>
Submitted on : Friday, November 25, 2016 - 6:50:08 PM
Last modification on : Tuesday, May 29, 2018 - 9:14:04 AM
Long-term archiving on : Tuesday, March 21, 2017 - 1:24:30 PM

File

jfla2017.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-01403369⟩

Share

Metrics

Record views

358

Files downloads

270