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-Sep-2015Meeting Deadlines TogetherBocchi, L; Lange, J; Yoshida, N
1-Apr-2016Characteristic Formulae for Session TypesLange, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
14-Jan-2015From communicating machines to graphical choreographiesLange, J; Tuosto, E; Yoshida, N
1-Jan-2017Fencing off Go: liveness and safety for channel-based programmingLange, J; Ng, C; Parente Coutinho Fernandes Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E, et al
22-Apr-2017On the undecidability of asynchronous session subtypingLange, J; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
26-Aug-2019A sound algorithm for asynchronous session subtypingBravetti, M; Carbone, M; Lange, J; Yoshida, N; Zavattaro, G, et al
27-May-2018A static verification framework for message passing in go using behavioural typesLange, J; Ng, CWN; Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E, et al