Author:
Franco Juliana,Vasconcelos Vasco Thudichum
Publisher
Springer International Publishing
Reference25 articles.
1. Baltazar, P., Mostrous, D., Vasconcelos, V.T.: Linearly refined session types. In: 2nd International Workshop on Linearity, vol. 101 of EPTCS, pp. 38–49 (2012)
2. Bhargavan, K., Corin, R., Deniélou, P.-M., Fournet, C., Leifer, J.J.: Cryptographic protocol synthesis and verification for multiparty sessions. In: Computer Security Foundations Symposium, pp. 124–140. IEEE (2009)
3. Boudol, G.: Asynchrony and the pi-calculus (note). Rapport de Recherche 1702, INRIA, Sophia-Antipolis (1992)
4. Caldeira, A., Vasconcelos, V.T.: Bica.
http://gloss.di.fc.ul.pt/bica
5. Campos, J., Vasconcelos, V.T.: Channels as objects in concurrent object-oriented programming. In: 3rd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, vol. 69 of EPTCS, pp. 12–28 (2011)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Session Abstract Machine;Lecture Notes in Computer Science;2024
2. Intrinsically Typed Sessions with Callbacks (Functional Pearl);Proceedings of the ACM on Programming Languages;2023-08-30
3. Rast: A Language for Resource-Aware Session Types;Logical Methods in Computer Science;2022-01-12
4. Mixed sessions;Theoretical Computer Science;2022-01
5. Mixed Sessions: the Other Side of the Tape;Electronic Proceedings in Theoretical Computer Science;2020-04-03