A sound algorithm for asynchronous session subtyping

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication30th International Conference on Concurrency Theory, CONCUR 2019
EditorsWan Fokkink, Rob van Glabbeek
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages16
ISBN (Electronic)9783959771214
DOIs
Publication statusPublished - 20 Aug 2019
Event30th International Conference on Concurrency Theory, CONCUR 2019 - Amsterdam, Netherlands
Duration: 27 Aug 201930 Aug 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume140
ISSN (Print)1868-8969

Conference

Conference30th International Conference on Concurrency Theory, CONCUR 2019
Country/TerritoryNetherlands
CityAmsterdam
Period27/08/1930/08/19

Keywords

  • Algorithm
  • Concurrency
  • Session types
  • Subtyping

Cite this