A Sound Algorithm for Asynchronous Session Subtyping

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

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Fingerprint

Dive into the research topics of 'A Sound Algorithm for Asynchronous Session Subtyping'. Together they form a unique fingerprint.

Keyphrases

Computer Science