Skip to Main content Skip to Navigation
Book sections

A Model-Based Synthesis Process for Choreography Realizability Enforcement

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-00866622
Contributor : Marco Autili <>
Submitted on : Thursday, September 26, 2013 - 5:59:34 PM
Last modification on : Monday, October 19, 2020 - 8:26:03 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

124