Safety of session-based service orchestration revisited with an unreliable communication model - Télécom Paris
Communication Dans Un Congrès Année : 2013

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

Domaines

Génie logiciel [cs.SE] Web Informatique et langage [cs.CL] Langage de programmation [cs.PL] Logique en informatique [cs.LO]

TelecomParis HAL  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02286789

Soumis le : vendredi 13 septembre 2019-16:11:22

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02286789 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PARISTECH LTCI INFRES ACES INSTITUT-MINES-TELECOM
40 Consultations
0 Téléchargements

Partager

More