Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 15
Item hits:
Issue DateTitleAuthor(s)
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
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
1-Apr-2019Precise subtyping for synchronous multiparty sessionsGhilezan, S; Jaksic, S; Pantovic, J; Scalas, A; Yoshida, N, et al
1-Jul-2019Motion session types for robotic interactionsYoshida, N; Majumdar, R; Pirron, M; Zufferey, D; Engineering & Physical Science Research Council (E, et al
26-Aug-2019A sound algorithm for asynchronous session subtypingBravetti, M; Carbone, M; Lange, J; Yoshida, N; Zavattaro, G, et al
29-Jun-2019On the relative expressiveness of higher-order session processesKouzapas, D; PĂ©rez, JA; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al