Manifest Deadlock-Freedom for Shared Session Types

Stephanie Balzer, Bernardo Toninho, Frank Pfenning,

URL	https://doi.org/10.1007/978-3-030-17184-1_22
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	11423
Book title	Programming Languages and Systems. ESOP 2019
URL	https://doi.org/10.1007/978-3-030-17184-1_22
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	11423
Book title	Programming Languages and Systems. ESOP 2019