Search

Results 31-40 of 60
Publication DateTitleAuthor(s)
30-Dec-2014Globally governed session semanticsKouzapas, D; Yoshida, N
8-Apr-2017Multiparty session types, beyond duality (Abstract)Scalas, A; Yoshida, N
24-Aug-2014Timed runtime monitoring for multiparty conversationsNeykova, R; Bocchi, L; Yoshida, N
10-Feb-2016Precise subtyping for synchronous multiparty sessionsDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N
1-Apr-2016Characteristic Formulae for Session TypesLange, J; Yoshida, N
1-Apr-2016Hybrid Session Verification through Endpoint API GenerationHu, R; Yoshida, N
15-Apr-2016Certifying Data in Multiparty Session TypesParente Coutinho Fernandes Toninho, B; Yoshida, N
8-Jul-2016Reversing Single SessionsTiezzi, F; Yoshida, N
27-Feb-2017Monitoring networks through multiparty session typesBocchi, L; Chen, T-C; Demangeon, R; Honda, K; Yoshida, N
13-Mar-2016Denotational and operational preciseness of subtyping: A roadmapDezani-Ciancaglini, M; Ghilezan, S; Jakšić, S; Pantović, J; Yoshida, N