Author of the publication

06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures.

, , , and . The Role of Business Processes in Service Oriented Architectures, volume 06291 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)

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

Generalization of Final Algebra Semantics by Relativization., and . Mathematical Foundations of Programming Semantics, volume 442 of Lecture Notes in Computer Science, page 284-300. Springer, (1989)06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures., , , and . The Role of Business Processes in Service Oriented Architectures, volume 06291 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Semantics of Type Classes Revisited.. LISP and Functional Programming, page 208-219. ACM, (1994)Full Abstraction and Limiting Completeness in Equational Languages.. Theor. Comput. Sci., 65 (1): 85-119 (1989)Quasi-Static Typing.. POPL, page 367-381. ACM Press, (1990)Optimal semantics of data type extensions., and . Algebraic Logic and Universal Algebra in Computer Science, volume 425 of Lecture Notes in Computer Science, page 161-180. Springer, (1988)Coercive Type Isomorphism.. FPCA, volume 523 of Lecture Notes in Computer Science, page 29-49. Springer, (1991)Object Imaging.. ECOOP, volume 952 of Lecture Notes in Computer Science, page 52-76. Springer, (1995)On the Correspondence Metween Two Classes of Reduction Systems.. Inf. Process. Lett., 20 (2): 83-85 (1985)Type Inference with Partial Types.. Theor. Comput. Sci., 124 (1): 127-148 (1994)