https://hal.inria.fr/hal-01954323
Contributor : Fabrizio Montesi <>
Submitted on : Thursday, December 13, 2018 - 3:43:34 PM Last modification on : Friday, August 23, 2019 - 3:20:03 PM
Identifiers
HAL Id : hal-01954323, version 1
Citation
Luís Cruz-Filipe, Kim Larsen, Fabrizio Montesi. The Paths to Choreography Extraction. Foundations of Software Science and Computation Structures, Springer New York, pp.424-440, 2017. ⟨hal-01954323⟩