Login

Publication

Detail

Publication date: 04/09/2019

Domain-Aware Session Types

Authors

Luis Caires, Jorge A Pérez, Frank Pfenning, Bernardo Toninho, Wan J. Fokkink, Rob van Glabbeek,
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