Proof of the Instrumented Semantics for Orc

Matthieu Perrin 1, 2 Claude Jard 2 Achour Mostefaoui 1
1 GDD - Gestion de Données Distribuées [Nantes]
LINA - Laboratoire d'Informatique de Nantes Atlantique
2 AELOS
LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : This report shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies between events. The concurrent semantics we obtain is based on labeled asymetric event structures. This report contains the complete demonstration of correctness of this approach.
Type de document :
Rapport
[Research Report] LINA-University of Nantes. 2015
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01101340
Contributeur : Matthieu Perrin <>
Soumis le : mardi 13 janvier 2015 - 17:01:15
Dernière modification le : vendredi 16 septembre 2016 - 15:15:09
Document(s) archivé(s) le : mardi 14 avril 2015 - 11:21:53

Fichiers

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

Identifiants

  • HAL Id : hal-01101340, version 2

Collections

Citation

Matthieu Perrin, Claude Jard, Achour Mostefaoui. Proof of the Instrumented Semantics for Orc. [Research Report] LINA-University of Nantes. 2015. 〈hal-01101340v2〉

Partager

Métriques

Consultations de
la notice

565

Téléchargements du document

95