Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-2 of 2
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
8-Sep-2014On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Yoshida, N
10-Nov-2014Global progress for dynamically interleaved multiparty sessionsCoppo, M; Dezani-Ciancaglini, M; Yoshida, N; Padovani, L