Safety of session-based service orchestration revisited with an unreliable communication model - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

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

(1, 2) , (1, 2) ,
1
2
Not file

Dates and versions

hal-02286789 , version 1 (13-09-2019)

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

Share

Gmail Facebook Twitter LinkedIn More