( en | de | ru )

 

Disambiguierung von "Salaün, Gwen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Process Algebra for Web Services: Early Results and Perspectives.

, und . TES, Volume 3324 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mickaël Salaün

Yohann Salaün

Merab Gwenetadse

Gwen Büchler

Gwen Pelka

 

Weitere Publikationen von Autoren mit dem selben Namen

When are Two Web Services Compatible?, , , und . Technologies for E-Services, (2005)Verification of a Failure Management Protocol for Stateful IoT Applications., , , , und . FMICS, Volume 12327 von Lecture Notes in Computer Science, Seite 272-287. Springer, (2020)Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems., und . Sci. Comput. Program., (2018)Using Process Algebra for Web Services: Early Results and Perspectives., und . TES, Volume 3324 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2004)Automated analysis of industrial workflow-based models., , , und . SAC, Seite 120-127. ACM, (2018)Model-Based Adaptation of Software Communicating via FIFO Buffers., und . FASE, Volume 9033 von Lecture Notes in Computer Science, Seite 252-266. Springer, (2015)Debugging of Behavioural Models using Counterexample Analysis., , und . IEEE Trans. Software Eng., 47 (6): 1184-1197 (2021)Quantifying the similarity of non-bisimilar labelled transition systems.. Sci. Comput. Program., (2021)Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10)., und . Sci. Comput. Program., (2014)Translating FSP into LOTOS and networks of automata., , , , und . Formal Aspects Comput., 22 (6): 681-711 (2010)