Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 12
Item hits:
Issue DateTitleAuthor(s)
22-Feb-2017Timed runtime monitoring for multiparty conversationNeykova, R; Bocchi, L; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
8-Apr-2017Multiparty session types, beyond duality (Abstract)Scalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
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
1-Jan-2017Fencing off Go: liveness and safety for channel-based programmingLange, J; Ng, C; Parente Coutinho Fernandes Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E, et al
2-May-2017Let it recover: multiparty protocol-induced recoveryNeykova, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
27-Feb-2017Monitoring networks through multiparty session typesBocchi, L; Chen, T-C; Demangeon, R; Honda, K; Yoshida, N, et al
29-Mar-2017Multiparty session actorsNeykova, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
22-Apr-2017On the undecidability of asynchronous session subtypingLange, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
22-Mar-2017Explicit connection actions in multiparty session typesHu, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
27-May-2017Session-ocaml: a session-based library with polarities and lensesImai, K; Yoshida, N; Yuen, S; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al