Author of the publication

Reversing Single Sessions.

, and . RC, volume 9720 of Lecture Notes in Computer Science, page 52-69. Springer, (2016)

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

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity., , , , , , , , , and 8 other author(s). ISoLA, volume 17 of Communications in Computer and Information Science, page 170-190. Springer, (2008)Blind-date Conversation Joining., , and . WWV, volume 123 of EPTCS, page 3-18. (2013)Correctness of Service Components and Service Component Ensembles., , , , , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Trust-Based Enforcement of Security Policies., , , , , and . TGC, volume 8902 of Lecture Notes in Computer Science, page 176-191. Springer, (2014)Reversing Single Sessions., and . RC, volume 9720 of Lecture Notes in Computer Science, page 52-69. Springer, (2016)Towards a Formal Approach to Mobile Cloud Computing., , , , and . PDP, page 743-750. IEEE Computer Society, (2014)BProVe: tool support for business process verification., , , , , and . ASE, page 937-942. IEEE Computer Society, (2017)Dynamic SLAs for Clouds., , and . ESOCC, volume 9846 of Lecture Notes in Computer Science, page 34-49. Springer, (2016)A Calculus for Orchestration of Web Services., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 33-47. Springer, (2007)Reputation-Based Cooperation in the Clouds., , , , and . IFIPTM, volume 430 of IFIP Advances in Information and Communication Technology, page 213-220. Springer, (2014)