Conference Papers
Year : 2013
TelecomParis HAL : Connect in order to contact the contributor
https://hal.telecom-paris.fr/hal-02286789
Submitted on : Friday, September 13, 2019-4:11:22 PM
Last modification on : Tuesday, February 28, 2023-3:36:24 PM
Dates and versions
Identifiers
- HAL Id : hal-02286789 , version 1
Cite
Jonathan Michaux, Elie Najm, Alessandro Fantechi. Safety of session-based service orchestration revisited with an unreliable communication model. Web Services Formal Methods, Aug 2013, beijing, China. ⟨hal-02286789⟩
Collections
25
View
0
Download