Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 11-20 of 79
Item hits:
Issue DateTitleAuthor(s)
15-Apr-2016Certifying Data in Multiparty Session TypesParente Coutinho Fernandes Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
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
6-Apr-2019Asynchronous timed session types: from duality to time-sensitive processesBocchi, L; Murgia, M; Vasconcelos, VT; Yoshida, N; Engineering & Physical Science Research Council (E, et al
6-Apr-2019Causality in Linear Logic: full completeness and injectivity (unit-free multiplicative-additive fragment)Castellan, 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
8-Jul-2016Reversing Single SessionsTiezzi, F; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al