Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-7 of 7
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1-Jan-2019Less is more: multiparty session types revisitedScalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
1-Jun-2018Multiparty session types, beyond dualityScalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), 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
30-Jun-2017On the preciseness of subtyping in session typesChen, T-C; Dezani-Ciancaglini, M; Scalas, A; Yoshida, N; Engineering & Physical Science Research Council (E, et al
17-Jul-2016Lightweight Session Programming in ScalaScalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
16-Jun-2017A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)Scalas, A; Dardha, O; Hu, R; Yoshida, N
1-Apr-2019Precise subtyping for synchronous multiparty sessionsGhilezan, S; Jaksic, S; Pantovic, J; Scalas, A; Yoshida, N, et al