Author:
Carbone Marco,Honda Kohei,Yoshida Nobuko
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Conversation with Steve Ross-Talbot. ACM Queue 4(2) (2006)
2. Baeten, J., van Beek, H., Mauw, S.: Specifying internet applications with DiCons. In: SAC’01, pp. 576–584. ACM Press, New York (2001)
3. Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5), 769–804 (2004)
4. Lecture Notes in Computer Science;M. Berger,2001
5. Lecture Notes in Computer Science;A.D. Gordon,2006
Cited by
110 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Less is More Revisited;Lecture Notes in Computer Science;2024
3. EXPRESSing Session Types;Electronic Proceedings in Theoretical Computer Science;2023-09-14
4. Designing a Web3 Ecosystem to Facilitate a Participatory Economy for the Movie and Series Industry;2023-04-26
5. Choreographic Programming of Isolated Transactions;Electronic Proceedings in Theoretical Computer Science;2023-04-13