Multiparty asynchronous session types
(2008) : Kohei Honda and Nobuko Yoshida and Marco Carbone
DOI: https://doi.org/10.1145/1328438.1328472
#__important #global_types #pi_calculus #protocol #session_types
#my_bibtex