Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 71-80 of 80
Item hits:
Issue DateTitleAuthor(s)
2-Apr-2019Multiparty session type-safe web development with static linearityKing, J; Ng, N; Yoshida, N; Engineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (E, et al
12-Apr-2019Service equivalence via multiparty session type isomorphismsAltayeva, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
12-Jul-2019Verifying asynchronous interactions via communicating session automataLange, J; Yoshida, N; Dillig, I; Tasiran, S
1-Apr-2019Precise subtyping for synchronous multiparty sessionsGhilezan, S; Jaksic, S; Pantovic, J; Scalas, A; Yoshida, N, et al
24-Feb-2018Session type providers: Compile-time API generation for distributed protocols with interaction refinements in F#Neykova, R; Hu, R; Yoshida, N; Abdeljallal, F; Engineering & Physical Science Research Council (E, et al
27-May-2018A static verification framework for message passing in go using behavioural typesLange, J; Ng, CWN; Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E, et al
16-Mar-2017On the undecidability of asynchronous session subtypingLange, J; Yoshida, N; Engineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
29-Sep-2016EURECA compilation: Automatic optimisation of cycle-reconfigurable circuitsNiu, X; Ng, C; Yumi, T; Wang, S; Yoshida, N, et al
Oct-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
Apr-2019Towards a categorical representation of reversible event structuresGraversen, E; Phillips, I; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al