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)
30-Mar-2016Multiparty asynchronous session typesHonda, K; Yoshida, N; Carbone, M; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
16-Nov-2016Multiparty session types as coherence proofsCarbone, M; Montesi, F; Schürmann, C; Yoshida, N; Engineering & Physical Science Research Council (E, et al
4-Sep-2015Multiparty Session Types as Coherence ProofsCarbone, M; Montesi, F; Schürmann, C; Yoshida, N; Engineering & Physical Science Research Council (E, et al
26-Aug-2019A sound algorithm for asynchronous session subtypingBravetti, M; Carbone, M; Lange, J; Yoshida, N; Zavattaro, G, et al