Search


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)
10-Nov-2014Dynamic deadlock verification for general barrier synchronisationSoares Cogumbreiro Garcia, T; Hu, R; Martins, F; Yoshida, N
19-Nov-2014Practical interruptible conversations: distributed dynamic verification with multiparty session types and PythonDemangeon, R; Honda, K; Hu, R; Neykova, R; Yoshida, N
10-Nov-2014On asynchronous eventful session semanticsKouzapas, D; Yoshida, N; Hu, R; Honda, K
23-Dec-2014Multiparty Session NetsFossati, L; Hu, R; Yoshida, N