PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Salaün, Gwen"

Author of the publication

copydeleteadd this publication to your clipboard
A formal model and composition language for context-aware service protocols.

, , , and . CASTA@ESEC/SIGSOFT FSE, page 17-20. ACM, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Salaün, Gwen
add a person with the name Salaün, Gwen
 

Other publications of authors with the same name

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09)., and . Sci. Comput. Program., 77 (7-8): 777-778 (2012)On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP., , and . Sci. Comput. Program., 74 (3): 100-127 (2009)Composition and Run-time Adaptation of Mismatching Behavioural Interfaces., , and . J. UCS, 14 (13): 2182-2211 (2008)Model-Based Adaptation of Behavioral Mismatching Components., , and . IEEE Trans. Software Eng., 34 (4): 546-563 (2008)ITACA: An integrated toolbox for the automatic composition and adaptation of Web services., , , , , , and . ICSE, page 627-630. IEEE, (2009)Verification of a Dynamic Management Protocol for Cloud Applications., , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 178-192. Springer, (2013)Handling Data-Based Concurrency in Context-Aware Service Protocols, , , and . FOCLASA, volume 30 of EPTCS, page 62-77. (2010)VerChor: A Framework for the Design and Verification of Choreographies., , , and . IEEE Trans. Services Computing, 9 (4): 647-660 (2016)Negotiation Among Web Services Using LOTOS/CADP., , and . ECOWS, volume 3250 of Lecture Notes in Computer Science, page 198-212. Springer, (2004)Compatibility Checking for Asynchronously Communicating Software., , and . FACS, volume 8348 of Lecture Notes in Computer Science, page 310-328. Springer, (2013)