Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 73
Item hits:
Issue DateTitleAuthor(s)
17-Mar-2016Static deadlock detection for concurrent go by global session graph synthesisNg, N; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), 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
13-Sep-2018Event structure semantics of (controlled) reversible CCSGraversen, E; Phillips, I; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
24-Aug-2018A parametric framework for reversible π-calculiMedic, D; Mezzina, CA; Phillips, I; Yoshida, N; Engineering & Physical Science Research Council (E, et al
29-Aug-2016EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable CircuitsNiu, X; Ng, C; Yumi, T; Wang, S; Yoshida, N, et al
21-Jul-2016Behavioral types in programming languagesAncona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G, et al
23-Dec-2014Multiparty Session NetsFossati, L; Hu, R; Yoshida, N
8-Sep-2014On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Yoshida, N
18-Oct-2011Secure execution of distributed session programsAlves, N; Hu, R; Yoshida, N; Deniélou, P-M
19-Nov-2014Practical interruptible conversations: distributed dynamic verification with multiparty session types and PythonDemangeon, R; Honda, K; Hu, R; Neykova, R; Yoshida, N