Results 1-10 of 67
Publication DateTitleAuthor(s)
21-Jul-2016Behavioral types in programming languagesAncona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G, et al
22-Mar-2017Explicit connection actions in multiparty session typesHu, R; Yoshida, N
8-Apr-2017Towards a categorical representation of reversible event structuresGraversen, E; Phillips, ICC; Yoshida, N
23-Dec-2014Multiparty Session NetsFossati, L; Hu, R; Yoshida, N
8-Sep-2014On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Yoshida, N
18-Oct-2011Secure execution of distributed session programsAlves, N; Hu, R; Yoshida, N; Deniélou, P-M
4-Sep-2015Multiparty Session Types as Coherence ProofsCarbone, M; Montesi, F; Schürmann, C; Yoshida, N
31-Dec-2015Characteristic bisimulation for higher-order session processesKouzapas, D; Yoshida, N; Perez, J
7-May-2015A gentle introduction to multiparty asynchronous session typesCoppo, M; Dezani-Ciancaglini, M; Padovani, L; Yoshida, N
17-Jul-2016Lightweight Session Programming in ScalaScalas, A; Yoshida, N