Skip to Main content Skip to Navigation
Conference papers

Safety of session-based service orchestration revisited with an unreliable communication model

Jonathan Michaux 1, 2 Elie Najm 1, 2 Alessandro Fantechi 
1 ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
Complete list of metadata

https://hal.telecom-paris.fr/hal-02286789
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 4:11:22 PM
Last modification on : Tuesday, October 19, 2021 - 11:14:16 AM

Identifiers

  • HAL Id : hal-02286789, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

18