Search

Results 11-20 of 66
Publication DateTitleAuthor(s)
11-Feb-2016Type Checking Liveness for Collaborative Processes with Bounded and Unbounded RecursionDebois, S; Hildebrandt, T; Slaats, T; Yoshida, N
1-Dec-2015On the Expressiveness of Multiparty Session TypesDemangeon, R; Yoshida, N
17-Mar-2016Static deadlock detection for concurrent go by global session graph synthesisNg, N; Yoshida, N
29-Aug-2016EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable CircuitsNiu, X; Ng, C; Yumi, T; Wang, S; Yoshida, N, et al
1-Sep-2015Meeting Deadlines TogetherBocchi, L; Lange, J; Yoshida, N
25-Oct-2015Protocol-based verification of message-passing parallel programsLopez, HA; Marques, RBE; Martins, F; Ng, CWN; Santos, C, et al
28-Nov-2010Multiparty Symmetric Sum TypesNielsen, L; Yoshida, N; Honda, K
6-Feb-2010Session-based programming for parallel algorithms: Expressiveness and performanceBejleri, A; Hu, R; 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