Results 21-30 of 63
Publication DateTitleAuthor(s)
10-Nov-2014Global escape in multiparty sessionsCapecchi, S; Giachino, E; Yoshida, N
10-Nov-2014On asynchronous eventful session semanticsKouzapas, D; Yoshida, N; Hu, R; Honda, K
10-Feb-2016Using session types as an effect systemOrchard, D; Yoshida, N
11-Jan-2016Effects as sessions, sessions as effectsOrchard, D; Yoshida, N
30-Mar-2016Multiparty asynchronous session typesHonda, K; Yoshida, N; Carbone, M
22-Apr-2017On the undecidability of asynchronous session subtypingLange, J; Yoshida, N
24-Dec-2016Characteristic bisimulation for higher-order session processesKouzapas, D; Perez, JA; Yoshida, N
8-Apr-2016Electronic Proceedings in Theoretical Computer Science, EPTCS: PrefaceOrchard, D; Yoshida, N
7-Feb-2015Session typing and asynchronous subtyping for the higher-order π-calculusYoshida, N; Mostrous, D
15-Apr-2015Reversible Session-Based Pi-CalculusTiezzi, F; Yoshida, N