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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01101340
Contributor : Matthieu Perrin <>
Submitted on : Tuesday, January 13, 2015 - 5:01:15 PM
Last modification on : Thursday, April 5, 2018 - 10:37:00 AM
Document(s) archivé(s) le : Tuesday, April 14, 2015 - 11:21:53 AM

Files

preuve_sem_instr.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

1331

Files downloads

113