( en | de | ru )

 

Disambiguation of "Corfini, Sara"

Author of the publication

copydeleteadd this publication to your clipboard
On the Use of Behavioural Equivalences for Web Services' Development.

, , , and . Fundam. Informaticae, 89 (4): 479-510 (2008)

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.

Stefano Saracino

Hans-Werner Sarau

Siegfried Sarau

Mahmood Saram

Christos Sarafidis

 

Other publications of authors with the same name

Behaviour-Aware Discovery of Web Service Compositions., and . Int. J. Web Serv. Res., 4 (3): 1-25 (2007)A comprehensive framework for the analysis of automotive systems., , , , , , and . MoDELS, page 379-389. ACM, (2022)A Behavioural Congruence for Web Services., , , and . FSEN, volume 4767 of Lecture Notes in Computer Science, page 240-256. Springer, (2007)From OWL-S Descriptions to Petri Nets., , and . ICSOC Workshops, volume 4907 of Lecture Notes in Computer Science, page 427-438. Springer, (2007)A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems., , and . ICSOC/ServiceWave, volume 5900 of Lecture Notes in Computer Science, page 68-82. (2009)Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study., , , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 52-71. Springer, (2008)A Prototype for Discovering Compositions of Semantic Web Services., , , and . SWAP, volume 201 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)EVA: a Tool for the Compositional Verification of AUTOSAR Models., , , , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 3-10. Springer, (2023)Semantics-based composition-oriented discovery of Web services., , and . ACM Trans. Internet Techn., 8 (4): 19:1-19:39 (2008)Tailoring service discovery to embedded P2P systems., , and . MobiQuitous, ICST / ACM, (2008)