Ping Gong, Keqing He, Jian Wang, Zaiwen Feng. Dynamic semantics of OWL-S in CSP-OZ. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 208-213, IEEE, 2008. [doi]
Abstract is missing.