Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
8-Sep-2014 | On the preciseness of subtyping in session types | Chen, T-C; Dezani-Ciancaglini, M; Yoshida, N |
24-Aug-2014 | Timed runtime monitoring for multiparty conversations | Neykova, R; Bocchi, L; Yoshida, N; Carbone, M |
1-Jan-2014 | Calculating communication costs with sessions types and sizes | Franco, J; Drossopoulou, S; Yoshida, N |
10-Nov-2014 | Dynamic deadlock verification for general barrier synchronisation | Soares Cogumbreiro Garcia, T; Hu, R; Martins, F; Yoshida, N |
20-Dec-2014 | Pabble: parameterised Scribble | Ng, N; Yoshida, N |
19-Nov-2014 | Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python | Demangeon, R; Honda, K; Hu, R; Neykova, R; Yoshida, N |
10-Nov-2014 | Global progress for dynamically interleaved multiparty sessions | Coppo, M; Dezani-Ciancaglini, M; Yoshida, N; Padovani, L |
10-Nov-2014 | On asynchronous eventful session semantics | Kouzapas, D; Yoshida, N; Hu, R; Honda, K |
10-Nov-2014 | Global escape in multiparty sessions | Capecchi, S; Giachino, E; Yoshida, N |
30-Dec-2014 | Globally governed session semantics | Kouzapas, D; Yoshida, N |
Discover
Publication Type