Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148(1), 1–70 (1999)
2. Bhargavan, K., Fournet, C., Gordon, A.D.: A Semantics for Web Service Authentication. Theoretical Computer Science 340(1), 102–153 (2005)
3. Bruni, R., Montanari, H.C., Montannari, U.: Theoretical foundation for compensation in flow composition languages. In: Proc. POPL 2005, 32nd ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages, pp. 209–220. ACM, New York (2004)
4. Lecture Notes in Computer Science;R. Bruni,2005
5. Lecture Notes in Computer Science;M.J. Bulter,2000
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02
2. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017
3. Heterogeneous Semantics and Unifying Theories;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
4. Linking the Semantics of BPEL Using Maude;2013 20th Asia-Pacific Software Engineering Conference (APSEC);2013-12
5. Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude;2013 18th International Conference on Engineering of Complex Computer Systems;2013-07