Publication
Detail
Publication date: 04/09/2019Domain-Aware Session Types
URL | https://doi.org/10.4230/LIPIcs.CONCUR.2019.39 |
---|---|
Publisher | Schloss Dagstuhl |
Series | LIPIcs |
Volume | 140 |
URL | https://doi.org/10.4230/LIPIcs.CONCUR.2019.39 |
Publisher | Schloss Dagstuhl |
Series | LIPIcs |
Volume | 140 |