A Logical Interpretation of Asynchronous Multiparty Compatibility

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationA Logical Interpretation of Asynchronous Multiparty Compatibility
Volume14330
PublisherSpringer, Cham
Publication date16 Oct 2023
ISBN (Print)978-3-031-45783-8
ISBN (Electronic)978-3-031-45784-5
DOIs
Publication statusPublished - 16 Oct 2023
SeriesLecture Notes in Computer Science
Volume14330
ISSN0302-9743

Keywords

  • Linear logic
  • Session Types
  • Process Compatibility

Cite this