Author:
Bocchi Laura,Murgia Maurizio,Vasconcelos Vasco Thudichum,Yoshida Nobuko
Publisher
Springer International Publishing
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
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. Session Types for the Transport Layer: Towards an Implementation of TCP;Electronic Proceedings in Theoretical Computer Science;2024-04-06
4. Comparing perfomance abstractions for collective adaptive systems;International Journal on Software Tools for Technology Transfer;2023-11-02
5. Validating IoT Devices with Rate-Based Session Types;Proceedings of the ACM on Programming Languages;2023-10-16