Safety of session-based service orchestration revisited with an unreliable communication model - Archive ouverte HAL Access content directly
Conference Papers Year : 2013
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⟩
25 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More