Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-8 of 8
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
22-Feb-2017Timed runtime monitoring for multiparty conversationNeykova, R; Bocchi, L; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
24-Aug-2014Timed runtime monitoring for multiparty conversationsNeykova, R; Bocchi, L; Yoshida, N; Carbone, M
19-Nov-2014Practical interruptible conversations: distributed dynamic verification with multiparty session types and PythonDemangeon, R; Honda, K; Hu, R; Neykova, R; Yoshida, N
21-Jul-2016Behavioral types in programming languagesAncona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G, et al
2-May-2017Let it recover: multiparty protocol-induced recoveryNeykova, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
29-Mar-2017Multiparty session actorsNeykova, R; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
3-Jul-2019Featherweight ScribbleYoshida, N; Neykova, R; Boreale, M; Corradini, F; Loreti, M, et al
24-Feb-2018Session type providers: Compile-time API generation for distributed protocols with interaction refinements in F#Neykova, R; Hu, R; Yoshida, N; Abdeljallal, F; Engineering & Physical Science Research Council (E, et al