Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-5 of 5
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1-Sep-2015Meeting Deadlines TogetherBocchi, L; Lange, J; Yoshida, N
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
6-Apr-2019Asynchronous timed session types: from duality to time-sensitive processesBocchi, L; Murgia, M; Vasconcelos, VT; Yoshida, N; Engineering & Physical Science Research Council (E, et al
24-Aug-2014Timed runtime monitoring for multiparty conversationsNeykova, R; Bocchi, L; Yoshida, N; Carbone, M
27-Feb-2017Monitoring networks through multiparty session typesBocchi, L; Chen, T-C; Demangeon, R; Honda, K; Yoshida, N, et al