Author:
Cattani Gian Luca,Sewell Peter
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference60 articles.
1. M. Abadi, C. Fournet, Mobile values, new names, and secure communication, in: Proceedings of POPL 2001, 2001, pp. 104–115
2. M. Abadi, A.D. Gordon, A calculus for cryptographic protocols: the spi calculus, in: Proceedings of the Fourth ACM Conference on Computer and Communications Security, ACM Press, Zürich, 1997, pp. 36–47
3. M. Bednarczyk, Categories of asynchronous systems, PhD thesis, University of Sussex, 1988
4. Testing equivalences for mobile processes;Boreale;Information and Computation,1995
5. A symbolic semantics for the π-calculus;Boreale;Information and Computation,1996
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02
2. A stable non-interleaving early operational semantics for the pi-calculus;Journal of Logical and Algebraic Methods in Programming;2019-04
3. Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework;Formal Techniques for Distributed Objects, Components, and Systems;2019
4. Event Structure Semantics for Multiparty Sessions;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Reversibility in the higher-order π-calculus;Theoretical Computer Science;2016-04