A core calculus for correlation in orchestration languages
Journal of Logic and Algebraic Programming 70(1), pages 7495
January 2007
Special Issue on Web Services and Formal Methods
Journal of Logic and Algebraic Programming 70(1), pages 7495
January 2007
Special Issue on Web Services and Formal Methods