PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pugliese, Rosario"

Author of the publication

copydeleteadd this publication to your clipboard
A Calculus for Orchestration of Web Services.

, , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 33-47. Springer, (2007)

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 Pugliese, Rosario
add a person with the name Pugliese, Rosario
 

Other publications of authors with the same name

Proof Techniques for Cryptographic Processes., , and . LICS, page 157-166. IEEE Computer Society, (1999)Towards Verified Lazy Implementation of Concurrent Value-Passing Languages., and . Electr. Notes Theor. Comput. Sci., (1999)Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications., , , and . IEEE Wireless Commun., 23 (2): 86-92 (2016)A WSDL-based type system for asynchronous WS-BPEL processes., , and . Formal Methods in System Design, 38 (2): 119-157 (2011)On the expressive power of KLAIM-based calculi., , and . Theor. Comput. Sci., 356 (3): 387-421 (2006)An accessible verification environment for UML models of services., , and . J. Symb. Comput., 46 (2): 119-149 (2011)The SCEL Language: Design, Implementation, Verification., , , , , , , , , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies., , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 129-147. Springer, (2019)The Klaim Project: Theory and Practice., , , , , , , , , and . Global Computing, volume 2874 of Lecture Notes in Computer Science, page 88-150. Springer, (2003)Linguistic Abstractions for Programming and Policing Autonomic Computing Systems., , and . UIC/ATC, page 404-409. IEEE Computer Society, (2013)