Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 60
Item hits:
Issue DateTitleAuthor(s)
10-Feb-2016Using session types as an effect systemOrchard, D; Yoshida, N;
11-Jan-2016Effects as sessions, sessions as effectsOrchard, D; Yoshida, N; , et al
1-Apr-2016On the Relative Expressiveness of Higher-Order Session ProcessesKouzapas, D; Perez, J; Yoshida, N; , et al
1-Apr-2016Hybrid Session Verification through Endpoint API GenerationHu, R; Yoshida, N; , et al
1-Apr-2016Characteristic Formulae for Session TypesLange, J; Yoshida, N; , et al
15-Apr-2016Certifying Data in Multiparty Session TypesParente Coutinho Fernandes Toninho, B; Yoshida, N; , et al
22-Feb-2017Timed runtime monitoring for multiparty conversationNeykova, R; Bocchi, L; Yoshida, N; , et al
1-Jan-2019Two sides of the same coin: session types and game semanticsCastellan, S; Yoshida, N; , et al
6-Apr-2019Asynchronous timed session types: from duality to time-sensitive processesBocchi, L; Murgia, M; Vasconcelos, VT; Yoshida, N; , et al
6-Apr-2019Causality in Linear Logic: full completeness and injectivity (unit-free multiplicative-additive fragment)Castellan, S; Yoshida, N; , et al