Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 31
Item hits:
Issue DateTitleAuthor(s)
11-Jan-2016Effects as sessions, sessions as effectsOrchard, D; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
1-Apr-2016On the Relative Expressiveness of Higher-Order Session ProcessesKouzapas, D; Perez, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
1-Apr-2016Hybrid Session Verification through Endpoint API GenerationHu, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
1-Apr-2016Characteristic Formulae for Session TypesLange, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
15-Apr-2016Certifying Data in Multiparty Session TypesParente Coutinho Fernandes Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
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-Jul-2016Reversing Single SessionsTiezzi, F; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
30-Mar-2016Multiparty asynchronous session typesHonda, K; Yoshida, N; Carbone, M; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
1-Mar-2019Session-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
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