Author:
Chang Fangzhe,Prabhakar Pavithra,Viswanathan Ramesh
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. OASIS Standard Web Services Business Process Execution Language Version 2.0 (April 2007),
http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
2. Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science 303(1), 7–34 (2003)
3. Lecture Notes in Artificial Intelligence;O. Aydin,2008
4. Lecture Notes in Computer Science;R. Backhouse,2002
5. Lecture Notes in Computer Science;D. Berardi,2003