ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming-Reference-Cited by-同舟云学术

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

Published:2022 Issue: Volume: Page:460-478
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
language:
Short-container-title:

Author:

Jongmans Sung-Shik,Proença José

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-19849-6_26

Reference39 articles.

1. Blanvillain, O., Brachthäuser, J.I., Kjaer, M., Odersky, M.: Type-level programming with match types. Proc. ACM Program. Lang. 6(POPL), 1–24 (2022)

2. Bocchi, L., Chen, T., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. Theor. Comput. Sci. 669, 33–58 (2017)

3. Lecture Notes in Computer Science;L Bocchi,2010

4. Bocchi, L., Lange, J., Yoshida, N.: Meeting deadlines together. In: CONCUR. LIPIcs, vol. 42, pp. 283–296. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2015)

5. Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323–342 (1983)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Behavioural Types for Heterogeneous Systems (Position Paper);Electronic Proceedings in Theoretical Computer Science;2024-04-06

2. Caos: A Reusable Scala Web Animator of Operational Semantics;Lecture Notes in Computer Science;2023

3. Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary);Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022