A Structural Verification of Web Services Composition Compatibility
CAiSE 2010 Workshop EOMAS'10, Hammamet, Tunisia