Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 13
Item hits:
Issue DateTitleAuthor(s)
18-Oct-2011Secure execution of distributed session programsAlves, N; Hu, R; Yoshida, N; DeniƩlou, P-M
1-Apr-2016Hybrid Session Verification through Endpoint API GenerationHu, R; 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
10-Nov-2014Dynamic deadlock verification for general barrier synchronisationSoares Cogumbreiro Garcia, T; Hu, R; Martins, F; 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-2014On asynchronous eventful session semanticsKouzapas, D; Yoshida, N; Hu, R; Honda, K
6-Feb-2010Session-based programming for parallel algorithms: Expressiveness and performanceBejleri, A; Hu, R; Yoshida, N; Beresford, AR; Gay, S
21-Jul-2016Behavioral types in programming languagesAncona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G, et al
23-Dec-2014Multiparty Session NetsFossati, L; Hu, R; Yoshida, N
22-Mar-2017Explicit connection actions in multiparty session typesHu, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al