Author of the publication

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.

, , , , and . FHIES, volume 7789 of Lecture Notes in Computer Science, page 124-141. Springer, (2012)

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

A verification environment for bigraphs., , and . Innov. Syst. Softw. Eng., 9 (2): 95-104 (2013)Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9., , , and . SER&IP@ICSE, page 54-57. IEEE, (2015)Flexible, adaptable, and compliant business systems with dynamic condition response graphs.. ForMABS@ASE, page 1. ACM, (2016)Replication, refinement & reachability: complexity in dynamic condition-response graphs., , and . Acta Inf., 55 (6): 489-520 (2018)Bigraphical Models of Context-Aware Systems., , , , and . FoSSaCS, volume 3921 of Lecture Notes in Computer Science, page 187-201. Springer, (2006)A Relational Model of Non-deterministic Dataflow., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 613-628. Springer, (1998)Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs., , , and . J. Log. Algebraic Methods Program., 82 (5-7): 164-185 (2013)Preface., , and . Theor. Comput. Sci., (2014)Declarative process mining for DCR graphs., , , and . SAC, page 759-764. ACM, (2017)Editorial., , , and . Formal Aspects Comput., 28 (4): 529-530 (2016)