Author of the publication

Advanced Mechanisms for Service Combination and Transactions.

, , , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)

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.

 

Other publications of authors with the same name

Conversation types., and . Theor. Comput. Sci., 411 (51-52): 4399-4440 (2010)Behavioral Theory for Session-Oriented Calculi., , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)A Process Calculus Analysis of Compensations., , and . TGC, volume 5474 of Lecture Notes in Computer Science, page 87-103. Springer, (2008)Global Protocol Implementations via Attribute-Based Communication., , and . Programming Languages with Applications to Biology and Security, volume 9465 of Lecture Notes in Computer Science, page 219-237. Springer, (2015)A coordination protocol language for power grid operation control., and . J. Log. Algebr. Meth. Program., (2019)Foundations of Session Types and Behavioural Contracts., , , , , , , , , and 2 other author(s). ACM Comput. Surv., 49 (1): 3:1-3:36 (2016)Choreographies for Reactive Programming., , and . CoRR, (2018)Type-Based Access Control in Data-Centric Systems., , , , and . ESOP, volume 6602 of Lecture Notes in Computer Science, page 136-155. Springer, (2011)Conversation Types., and . ESOP, volume 5502 of Lecture Notes in Computer Science, page 285-300. Springer, (2009)The Conversation Calculus: A Model of Service-Oriented Computation., , and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 269-283. Springer, (2008)