Author:
Ancona Davide,Bono Viviana,Bravetti Mario,Campos Joana,Castagna Giuseppe,Deniélou Pierre-Malo,Gay Simon J.,Gesbert Nils,Giachino Elena,Hu Raymond,Johnsen Einar Broch,Martins Francisco,Mascardi Viviana,Montesi Fabrizio,Neykova Rumyana,Bono Nicholas Ng,Padovani Luca,Vasconcelos Vasco T.,Yoshida Nobuko
Subject
Computer Science Applications,Theoretical Computer Science,Software
Cited by
90 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Discourje: Run-Time Verification of Communication Protocols in Clojure — Live at Last;Lecture Notes in Computer Science;2024-09-13
2. A simple view of multiparty session types;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
3. Un-projectable Global Types for Multiparty Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
4. On the Almost-Sure Termination of Binary Sessions;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
5. A Formal Verification Approach for Linux Kernel Designing;Technologies;2024-08-12