Domain-Aware Session Types

Luis Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

OnderzoeksoutputAcademicpeer review

1 Citaat (Scopus)
41 Downloads (Pure)
Originele taal-2English
Titel30th International Conference on Concurrency Theory (CONCUR 2019)
RedacteurenWan Fokkink, Rob van Glabbeek
Plaats van productieDagstuhl, Germany
UitgeverijSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Pagina's35:1-35:17
Aantal pagina's17
ISBN van geprinte versie978-3-95977-121-4
DOI's
StatusPublished - 2019

Publicatie series

NaamLeibniz International Proceedings in Informatics (LIPIcs)
UitgeverijSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Volume140

Citeer dit