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



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
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

View graph of relations

Download statistics

No data available

ID: 95671302