Author:
Zhu Huibiao,He Jifeng,Li Jing,Pu Geguang,Bowen Jonathan P.
Publisher
Springer Science and Business Media LLC
Reference56 articles.
1. Abrial J-R (1996) The B-Book: assigning programs to meanings. Cambridge 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, New York, 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
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Jifeng He at Oxford and Beyond: An Appreciation;Theories of Programming and Formal Methods;2023
2. Semantic theories of programs with nested interrupts;Frontiers of Computer Science;2015-02-03
3. Linking the Semantics of BPEL Using Maude;2013 20th Asia-Pacific Software Engineering Conference (APSEC);2013-12