Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-9 of 9
  • previous
  • 1
  • next
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
1-Sep-2015Meeting Deadlines TogetherBocchi, L; Lange, J; Yoshida, N
14-Jan-2015From communicating machines to graphical choreographiesLange, J; Tuosto, E; Yoshida, N
7-Feb-2015Session typing and asynchronous subtyping for the higher-order π-calculusYoshida, N; Mostrous, D
15-Apr-2015Reversible Session-Based Pi-CalculusTiezzi, F; Yoshida, N; De Nicola, R
31-Dec-2015Characteristic bisimulation for higher-order session processesKouzapas, D; Yoshida, N; Perez, J; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
4-Sep-2015Multiparty Session Types as Coherence ProofsCarbone, M; Montesi, F; Schürmann, C; Yoshida, N; Engineering & Physical Science Research Council (E, et al
1-Dec-2015On the Expressiveness of Multiparty Session TypesDemangeon, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al