A Model-Based Synthesis Process for Choreography Realizability Enforcement - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2013

A Model-Based Synthesis Process for Choreography Realizability Enforcement

Marco Autili
  • Function : Author
Davide Di Ruscio
  • Function : Author
Amleto Salle
  • Function : Author
Paola Inverardi
  • Function : Author
Massimo Tivoli
  • Function : Author

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More