Author:
Bocchi Laura,Demangeon Romain,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Lecture Notes in Computer Science;L. Bettini,2008
2. Bhargavan, K., Corin, R., Deniélou, P.-M., Fournet, C., Leifer, J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: CSF, pp. 124–140 (2009)
3. Bhargavan, K., Fournet, C., Gordon, A.D.: Modular verification of security protocol code by typing. In: POPL, pp. 445–456 (2010)
4. Bocchi, L., Demangeon, R., Yoshida, N.: A multiparty multi-session logic (extended report),
http://www.cs.le.ac.uk/people/lb148/statefulassertions.html
5. Lecture Notes in Computer Science;L. Bocchi,2010
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Statically verified refinements for multiparty protocols;Proceedings of the ACM on Programming Languages;2020-11-13
2. Stateful Behavioral Types for Active Objects;Lecture Notes in Computer Science;2018
3. Timed runtime monitoring for multiparty conversations;Formal Aspects of Computing;2017-09
4. Towards a Session Logic for Communication Protocols;2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS);2015-12
5. A Gentle Introduction to Multiparty Asynchronous Session Types;Lecture Notes in Computer Science;2015