Publisher: IGI Global_journal
E-ISSN: 1546-5004|8|2|1-28
ISSN: 1545-7362
Source: International Journal of Web Services Research (IJWSR), Vol.8, Iss.2, 2011-04, pp. : 1-28
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Web services choreography validation
By Wang Zheng
Service Oriented Computing and Applications, Vol. 4, Iss. 4, 2010-12 ,pp. :
-transitions in Concurrent Timed Automata
By Lanotte R. Maggiolo-Schettini A. Tini S.
Information Processing Letters, Vol. 89, Iss. 1, 2004-01 ,pp. :
By Baeten J.
Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 3, 2004-01 ,pp. :
Finite automata on timed -trees
Theoretical Computer Science, Vol. 293, Iss. 3, 2003-02 ,pp. :
By Lanotte R. Maggiolo-Schettini A. Tini S.
Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. :