On asynchronous eventful session semantics

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda. On asynchronous eventful session semantics. Mathematical Structures in Computer Science, 26(2):303-364, 2016. [doi]

Abstract

Abstract is missing.