A Formal Approach to Verify Grid Service Composition Based on Interaction Pattern.

Wencai Guo, Chuang Lin

Browse the full APSCC paper archive.