Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-6 of 6
  • 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
8-Sep-2014On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Yoshida, N
10-Feb-2016Precise subtyping for synchronous multiparty sessionsDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, et al
10-Nov-2014Global progress for dynamically interleaved multiparty sessionsCoppo, M; Dezani-Ciancaglini, M; Yoshida, N; Padovani, L
30-Jun-2017On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Scalas, A; Yoshida, N; Engineering & Physical Science Research Council (E, et al
13-Mar-2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, et al