Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle

Abstract : Because they are intrinsically sequential, structural operational semantics are not completely suitable to describe modern distributed languages such as Orc, a language for web site orchestration that became a true model for concurrent programming. We propose two new semantics for the Orc language, a lightweight instrumentation of the original semantics capturing concurrency in one execution and a whole concurrent semantics able to describe all the possible executions for an expression.
Document type :
Documents associated with scientific events
Complete list of metadatas

https://hal.inria.fr/hal-00876651
Contributor : Hervé Marchand <>
Submitted on : Friday, October 25, 2013 - 11:30:23 AM
Last modification on : Wednesday, November 15, 2017 - 1:03:06 AM
Long-term archiving on : Monday, January 27, 2014 - 12:56:05 PM

Files

Identifiers

  • HAL Id : hal-00876651, version 1

Citation

Matthieu Perrin, Claude Jard, Achour Mostefaoui. Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. ⟨hal-00876651⟩

Share

Metrics

Record views

1533

Files downloads

79