Author of the publication

A Coordination Model for Service-Oriented Interactions.

, and . COORDINATION, volume 5052 of Lecture Notes in Computer Science, page 1-16. Springer, (2008)

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 formal model for service-oriented interactions., , and . Sci. Comput. Program., 77 (5): 577-608 (2012)Formal Aspects of Component Software (FACS 2013)., and . Sci. Comput. Program., (2015)Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour., and . Mathematical Structures in Computer Science, 6 (4): 353-373 (1996)Specification and Verification of Database Dynamics., and . Acta Inf., 25 (6): 625-661 (1988)Distribution concerns in service-oriented modelling., , and . IJIPT, 1 (3): 144-158 (2006)Models for the Substitution Axiom of UNITY Logic., and . Inf. Process. Lett., 48 (4): 171-176 (1993)Feature Modeling and Composition with Coordination Contracts., and . FICS, volume 2001-14 of Technical Report, page 49-54. University of Karlsruhe, Institut für Programmstrukturen und Datenorganisation, (2001)Preface., and . Theor. Comput. Sci., 366 (1-2): 1-2 (2006)An abstract model of service discovery and binding., , and . Formal Asp. Comput., 23 (4): 433-463 (2011)An Architectural Approach to Mobility - The Handover Case Study., , , and . WICSA, page 305-310. IEEE Computer Society, (2004)