Formal Analysis of OWL-S Process Model by FDR.

Ping Gong, Jianmin Jiang, Shi Zhang

Browse the full APSCC paper archive.