VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.

Nalaka Gooneratne, Zahir Tari, James Harland

Browse the full ICSOC paper archive.