Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 31-40 of 79
Item hits:
Issue DateTitleAuthor(s)
10-Nov-2014On asynchronous eventful session semanticsKouzapas, D; Yoshida, N; Hu, R; Honda, K
10-Nov-2014Global escape in multiparty sessionsCapecchi, S; Giachino, E; 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; De Nicola, R
30-Dec-2014Globally governed session semanticsKouzapas, D; Yoshida, N
8-Apr-2017Multiparty session types, beyond duality (Abstract)Scalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
30-Jun-2017On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Scalas, A; Yoshida, N; Engineering & Physical Science Research Council (E, et al
16-Nov-2016Multiparty session types as coherence proofsCarbone, M; Montesi, F; Schürmann, C; Yoshida, N; Engineering & Physical Science Research Council (E, et al
8-Apr-2016Electronic Proceedings in Theoretical Computer Science, EPTCS: PrefaceOrchard, D; Yoshida, N
9-Dec-2016Certifying data in multiparty session typesToninho, B; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al