A Model-Based Synthesis Process for Choreography Realizability Enforcement - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

A Model-Based Synthesis Process for Choreography Realizability Enforcement

Marco Autili
  • Fonction : Auteur
Davide Di Ruscio
  • Fonction : Auteur
Amleto Salle
  • Fonction : Auteur
Paola Inverardi
  • Fonction : Auteur
Massimo Tivoli
  • Fonction : Auteur

Dates et versions

hal-00866622 , version 1 (26-09-2013)

Identifiants

Citer

Marco Autili, Davide Di Ruscio, Amleto Salle, Paola Inverardi, Massimo Tivoli. A Model-Based Synthesis Process for Choreography Realizability Enforcement. Cortellessa, Vittorio and Varro', Daniel. Fundamental Approaches to Software Engineering, 7793, Springer Berlin Heidelberg, pp.37-52, 2013, 978-3-642-37056-4. ⟨10.1007/978-3-642-37057-1_4⟩. ⟨hal-00866622⟩

Collections

CHOREOS
65 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More