Author:
Demangeon Romain,Honda Kohei
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;L. Bettini,2008
2. Bocchi, L., Denéilou, P.-M., Demangeon, R., Honda, K., Hu, R., Neykova, R., Yoshida, N.: Dynamic and static safety validation in distributed programs through multiparty sessions (submitted, 2012)
3. Lecture Notes in Computer Science;L. Bocchi,2010
4. Capecchi, S., Castellani, I., Dezani-Ciancaglini, M.: Information flow safety in multiparty sessions. In: EXPRESS. EPTCS, vol. 64, pp. 16–30 (2011)
5. Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS. LIPIcs, vol. 8, pp. 338–351. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Preciseness of Subtyping in Session Types: 10 Years Later;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Sistemas de Tipos para Programação Concorrente Um Estudo de Caso;Anais do V Workshop Brasileiro de Lógica (WBL 2024);2024-07-21
3. Behavioural Types for Heterogeneous Systems (Position Paper);Electronic Proceedings in Theoretical Computer Science;2024-04-06
4. Choral: Object-oriented Choreographic Programming;ACM Transactions on Programming Languages and Systems;2024-01-16
5. Programming Language Implementations with Multiparty Session Types;Lecture Notes in Computer Science;2024