Author:
Zhu Huibiao,Xu Qiwen,Ma Chris,Qin Shengchao,Qiu Zongyan
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Apt, K.R., Francez, N., de Roever, W.P.: A proof system for communicating sequential processes. ACM Trans. Program. Lang. Syst. 2(3), 359–385 (1980)
2. Lecture Notes in Computer Science;R. Bruni,2005
3. Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Proc. POPL 2005, January 12-14, pp. 209–220. ACM, Long Beach (2005)
4. Lecture Notes in Computer Science;M.J. Butler,2004
5. Lecture Notes in Computer Science;M.J. Butler,2000
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linking the Semantics of BPEL Using Maude;2013 20th Asia-Pacific Software Engineering Conference (APSEC);2013-12