Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 40
Item hits:
Issue DateTitleAuthor(s)
7-May-2015A gentle introduction to multiparty asynchronous session typesCoppo, M; Dezani-Ciancaglini, M; Padovani, L; Yoshida, N
25-Oct-2015Protocol-based verification of message-passing parallel programsLopez, HA; Marques, RBE; Martins, F; Ng, CWN; Santos, C, et al
8-Sep-2014On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Yoshida, N
1-Sep-2015Meeting Deadlines TogetherBocchi, L; Lange, J; Yoshida, N
11-Jan-2016Effects as sessions, sessions as effectsOrchard, D; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
1-Apr-2016On the Relative Expressiveness of Higher-Order Session ProcessesKouzapas, D; Perez, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
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-Apr-2016Characteristic Formulae for Session TypesLange, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
15-Apr-2016Certifying Data in Multiparty Session TypesParente Coutinho Fernandes Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
6-Apr-2019Asynchronous timed session types: from duality to time-sensitive processesBocchi, L; Murgia, M; Vasconcelos, VT; Yoshida, N; Engineering & Physical Science Research Council (E, et al