Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 35
Item hits:
Issue DateTitleAuthor(s)
18-Oct-2011Secure execution of distributed session programsAlves, N; Hu, R; Yoshida, N; Deniélou, P-M
10-Feb-2016Using session types as an effect systemOrchard, D; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC)
22-Feb-2017Timed runtime monitoring for multiparty conversationNeykova, R; Bocchi, L; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
1-Jan-2019Two sides of the same coin: session types and game semanticsCastellan, S; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
1-Jan-2019Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structuresCastro-Perez, D; Hu, R; Jongmans, S; Ng, C; Yoshida, N, et al
1-Jan-2019Less is more: multiparty session types revisitedScalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
10-Feb-2016Precise subtyping for synchronous multiparty sessionsDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, et al
24-Aug-2014Timed runtime monitoring for multiparty conversationsNeykova, R; Bocchi, L; Yoshida, N; Carbone, M
30-Mar-2016Multiparty asynchronous session typesHonda, K; Yoshida, N; Carbone, M; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
1-Mar-2019Session-ocaml: a session-based library with polarities and lensesImai, K; Yoshida, N; Yuen, S; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al