A Sound Algorithm for Asynchronous Session Subtyping

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

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'A Sound Algorithm for Asynchronous Session Subtyping'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science