Denotational reasoning for asynchronous multiparty session types

Documenti analoghi

• Galois connecting call-by-value and call-by-name
  di: McDermott, Dylan, et al.
  Pubblicazione: (2022)
• Checkpoint-based rollback recovery in session programming
  di: Mezzina, Claudio Antares, et al.
  Pubblicazione: (2023)
• Abstract clones for abstract syntax
  di: Arkor, Nathanael, et al.
  Pubblicazione: (2021)
• Hybrid Multiparty Session Types -- Full Version
  di: Gheri, Lorenzo, et al.
  Pubblicazione: (2023)
• Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
  di: Udomsrirungruang, Thien, et al.
  Pubblicazione: (2024)