Author:
Zhu Huibiao,He Jifeng,Li Jing,Bowen Jonathan P.
Publisher
Springer Science and Business Media LLC
Reference54 articles.
1. Abrial J-R (1996) The B-book: assigning programs to meanings. University Press, Cambridge
2. Brookes SD (1996) Full abstraction for a shared-variable parallel language. Inf Comput 127(2): 145–163
3. Bruni R, Ferrari GL, Melgratti HC, Montanari U, Strollo D, Tuosto E (2005) From theory to practice in transactional composition of web services. In: Proceedings of EPEW/WS-FM 2005: European performance engineering workshop and international workshop on web services and formal methods, Versailles, France, September 1–3, 2005. Lecture notes in computer science, vol 3670. Springer, Berlin, pp 272–286
4. Bruni R, Melgratti HC, Montanari U (2004) Theoretical foundations for compensations in flow composition languages. In: Proceedings of POPL 2005: 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, Long Beach, California, USA, January 12–14, 2005. ACM, USA, pp 209–220
5. Butler M, Ripon S (2005) Executable semantics for compensating CSP. In: Proceedings of EPEW 2005: international workshop on web services and formal methods, Versailles, France, September 1–3, 2005. Lecture notes in computer science, vol 3670. Springer, Berlin, pp 243–256
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献