Author:
Neykova Rumyana,Yoshida Nobuko
Publisher
Springer International Publishing
Reference28 articles.
1. Behavioural Types: From Theory to Tools. River Publishers, Delft (2017)
2. Bocchi, L., Lange, J., Yoshida, N.: Meeting deadlines together. In: 26th International Conference on Concurrency Theory. LIPIcs, vol. 42, pp. 283–296. Schloss Dagstuhl (2015)
3. Lecture Notes in Computer Science;L Bocchi,2014
4. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)
5. Castro, D., Hu, R., Jongmans, S.-S., Ng, N., Yoshida, N.: Distributed programming using role parametric session types in go. In: 46th ACM SIGPLAN Symposium on Principles of Programming Languages, pp. 1–30. ACM (2019)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Behavioural Types for Heterogeneous Systems (Position Paper);Electronic Proceedings in Theoretical Computer Science;2024-04-06
2. Multicompatibility for Multiparty-Session Composition;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection;Proceedings of the ACM on Programming Languages;2023-04-06
4. Multiparty Session Typing in Java, Deductively;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022