Author of the publication

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.

, , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 358-373. 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.

 

Other publications of authors with the same name

Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report)., , , , , , and . DAIS, volume 12135 of Lecture Notes in Computer Science, page 95-103. Springer, (2020)A Model-Checking Approach for Service Component Architectures., , , and . FMOODS/FORTE, volume 5522 of Lecture Notes in Computer Science, page 219-224. Springer, (2009)Assessment of Microsoft Kinect in the Monitoring and Rehabilitation of Stroke Patients., , , , , , , and . WorldCIST (2), volume 570 of Advances in Intelligent Systems and Computing, page 167-174. Springer, (2017)A formal model for service-oriented interactions., , and . Sci. Comput. Program., 77 (5): 577-608 (2012)Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform., , , , , , and . CoRR, (2020)The Sensoria Reference Modelling Language., , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Specifying and Composing Interaction Protocols for Service-Oriented System Modelling., , , and . FORTE, volume 4574 of Lecture Notes in Computer Science, page 358-373. Springer, (2007)A Coordination Model for Service-Oriented Interactions., and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 1-16. Springer, (2008)Checking the Conformance of Java Classes Against Algebraic Specifications., , , , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 494-513. Springer, (2006)Business Analytics Components for Public Health Institution - Clinical Decision Area., , , and . EUSPN/ICTH, volume 198 of Procedia Computer Science, page 335-340. Elsevier, (2021)