Author:
Mostrous Dimitris,Vasconcelos Vasco Thudichum
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abramsky, S.: Computational interpretations of linear logic. Theoretical Computer Science 111, 3–57 (1993)
2. Asperti, A., Roversi, L.: Intuitionistic light affine logic. ACM Transactions on Compututational Logic 3(1) (2002)
3. Lecture Notes in Computer Science;M. Bravetti,2009
4. Lecture Notes in Computer Science;L. Caires,2010
5. Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. In: FSTTCS. LIPIcs, pp. 338–351. Schloss Dagstuhl (2010)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Safe Session-Based Concurrency with Shared Linear State;Programming Languages and Systems;2023
2. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21
3. Actris: session-type based reasoning in separation logic;Proceedings of the ACM on Programming Languages;2020-01
4. A Message-Passing Interpretation of Adjoint Logic;Electronic Proceedings in Theoretical Computer Science;2019-04-02
5. Exceptional asynchronous session types: session types without tiers;Proceedings of the ACM on Programming Languages;2019-01-02