On the Undecidability of Asynchronous Session Subtyping.

Julien Lange, Nobuko Yoshida

Browse the full FOSSACS paper archive.