Search

Results 21-30 of 66
Publication DateTitleAuthor(s)
10-Nov-2014Global escape in multiparty sessionsCapecchi, S; Giachino, E; Yoshida, N
10-Nov-2014On asynchronous eventful session semanticsKouzapas, D; Yoshida, N; Hu, R; Honda, K
10-Feb-2016Using session types as an effect systemOrchard, D; Yoshida, N
11-Jan-2016Effects as sessions, sessions as effectsOrchard, D; Yoshida, N
30-Mar-2016Multiparty asynchronous session typesHonda, K; Yoshida, N; Carbone, M
1-Jun-2018Multiparty session types, beyond dualityScalas, A; Yoshida, N
-Dynamic deadlock verification for general barrier synchronisationCogumbreiro, T; Hu, R; Martins, F; Yoshida, N
9-Jul-2018Causal computational complexity of distributed processesDemangeon, R; Yoshida, N
11-Feb-2016Type-checking Liveness for Collaborative Processes with Bounded and Unbounded RecursionDebois, S; Hildebrandt, T; Slaats, T; Yoshida, N
2-May-2017Let it recover: multiparty protocol-induced recoveryNeykova, R; Yoshida, N