Author of the publication

Compatibility Verification for Web Service Choreography.

, , , and . ICWS, page 738-741. IEEE Computer Society, (2004)

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

Translating FSP into LOTOS and Networks of Automata., , , and . IFM, volume 4591 of Lecture Notes in Computer Science, page 558-578. Springer, (2007)Modelling Darwin in the Pi-Caculus., , and . Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, page 133-152. Springer, (1994)Towards specification, modelling and analysis of fault tolerance in self managed systems., and . SEAMS@ICSE, page 30-36. ACM, (2006)Software engineering for adaptive and self-managing systems., , , , , , and . ICSE, page 1015-1016. ACM, (2006)Towards Self-management in Service-Oriented Computing with Modes, , , and . Service-Oriented Computing - ICSOC 2007 Workshops, volume 4907 of LNCS, Springer, (2009)Engineering distributed software: a structural discipline., and . ESEC/SIGSOFT FSE, page 283-285. ACM, (2005)Science of design., and . ICSE, page 46. ACM, (2005)A Constructive Approach to the Design of Distributed Systems., , and . ICDCS, page 580-587. IEEE Computer Society, (1990)Distributed System Design using CORBA Components., and . HICSS (1), page 4-13. IEEE Computer Society, (1997)Construction and management of highly available services in open distributed systems., and . Distributed Systems Engineering, 5 (1): 29- (1998)