Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-4 of 4
  • 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
23-Dec-2014Multiparty Session NetsFossati, L; Hu, R; Yoshida, N
1-Jan-2014Calculating communication costs with sessions types and sizesFranco, J; Drossopoulou, S; Yoshida, N
10-Nov-2014Dynamic deadlock verification for general barrier synchronisationSoares Cogumbreiro Garcia, T; Hu, R; Martins, F; Yoshida, N