Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 20
Item hits:
Issue DateTitleAuthor(s)
10-Feb-2016Using session types as an effect systemOrchard, D; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC)
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
10-Feb-2016Precise subtyping for synchronous multiparty sessionsDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N, 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
11-Feb-2016Type-checking Liveness for Collaborative Processes with Bounded and Unbounded RecursionDebois, S; Hildebrandt, T; Slaats, T; Yoshida, N; Engineering & Physical Science Research Council (E, et al