Publication
Detail
Publication date: 31/08/2018A Universal Session Type for Untyped Asynchronous Communication
| URL | https://doi.org/10.4230/LIPIcs.CONCUR.2018.30 |
|---|---|
| Publisher | Schloss Dagstuhl |
| Book title | 29th International Conference on Concurrency Theory (CONCUR 2018) |
| URL | https://doi.org/10.4230/LIPIcs.CONCUR.2018.30 |
| Publisher | Schloss Dagstuhl |
| Book title | 29th International Conference on Concurrency Theory (CONCUR 2018) |