Formalization of Grid Service Composition Based on I/O Automata
Lu Tun Zhang Wang Li Zhi-shu Yin Feng Jin Hu
Journal of South China University of Technology (Natural Science Edition) . 2005, (11): 55 -60 .