Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 21-30 of 79
Item hits:
Issue DateTitleAuthor(s)
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
1-Jun-2018Multiparty session types, beyond dualityScalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
14-Jan-2015From communicating machines to graphical choreographiesLange, J; Tuosto, E; Yoshida, N
11-Feb-2016Type-checking Liveness for Collaborative Processes with Bounded and Unbounded RecursionDebois, S; Hildebrandt, T; Slaats, T; Yoshida, N; Engineering & Physical Science Research Council (E, et al
1-Jan-2014Calculating communication costs with sessions types and sizesFranco, J; Drossopoulou, S; Yoshida, N
10-Nov-2014Dynamic deadlock verification for general barrier synchronisationSoares Cogumbreiro Garcia, T; Hu, R; Martins, F; Yoshida, N
20-Dec-2014Pabble: parameterised ScribbleNg, N; Yoshida, N
19-Nov-2014Practical interruptible conversations: distributed dynamic verification with multiparty session types and PythonDemangeon, R; Honda, K; Hu, R; Neykova, R; Yoshida, N
10-Nov-2014Global progress for dynamically interleaved multiparty sessionsCoppo, M; Dezani-Ciancaglini, M; Yoshida, N; Padovani, L