Publication

Domain-Aware Session Types

Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & Glabbeek, R. V. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 35:1-35:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 140).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Copy link to clipboard

Documents

DOI

Original languageEnglish
Title of host publication30th International Conference on Concurrency Theory (CONCUR 2019)
EditorsWan Fokkink, Rob van Glabbeek
Place of PublicationDagstuhl, Germany
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Pages35:1-35:17
Number of pages17
ISBN (Print)978-3-95977-121-4
Publication statusPublished - 2019

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Volume140

View graph of relations

Download statistics

No data available

ID: 95671302