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

Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02286789
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:11:22 PM
Last modification on : Saturday, September 21, 2019 - 1:27:19 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

5