Domain-Aware Session Types

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

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

1 Citation (Scopus)
42 Downloads (Pure)
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
DOIs
Publication statusPublished - 2019

Publication series

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

Cite this