Manifest Deadlock-Freedom for Shared Session Types-Reference-Cited by-同舟云学术

Manifest Deadlock-Freedom for Shared Session Types

Published:2019 Issue: Volume: Page:611-639
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Balzer Stephanie,Toninho Bernardo,Pfenning Frank

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-17184-1_22

Reference55 articles.

1. Lecture Notes in Computer Science;R Atkey,2016

2. Balzer, S., Pfenning, F.: Manifest sharing with session types. Proc. ACM Program. Lang. (PACMPL) 1(ICEP), 37:1–37:29 (2017)

3. Balzer, S., Pfenning, F., Toninho, B.: A universal session type for untyped asynchronous communication. In: 29th International Conference on Concurrency Theory (CONCUR). LIPIcs, pp. 30:1–30:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)

4. Balzer, S., Toninho, B., Pfenning, F.: Manifest deadlock-freedom for shared session types. Technical report CMU-CS-19-102, Carnegie Mellon University (2019)

5. Lecture Notes in Computer Science;PN Benton,1995

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

1. Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing;Proceedings of the ACM on Programming Languages;2024-01-05

2. Prioritise the Best Variation;Logical Methods in Computer Science;2023-12-18

3. Choreographic Programming of Isolated Transactions;Electronic Proceedings in Theoretical Computer Science;2023-04-13

4. Higher-Order Leak and Deadlock Free Locks;Proceedings of the ACM on Programming Languages;2023-01-09

5. Modal Crash Types for Intermittent Computing;Programming Languages and Systems;2023