Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-4 of 4
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
19-Nov-2014Practical interruptible conversations: distributed dynamic verification with multiparty session types and PythonDemangeon, R; Honda, K; Hu, R; Neykova, R; Yoshida, N
27-Feb-2017Monitoring networks through multiparty session typesBocchi, L; Chen, T-C; Demangeon, R; Honda, K; Yoshida, N, et al
1-Dec-2015On the Expressiveness of Multiparty Session TypesDemangeon, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
9-Jul-2018Causal computational complexity of distributed processesDemangeon, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al