Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 71-79 of 79
Item hits:
Issue DateTitleAuthor(s)
12-Apr-2019Service equivalence via multiparty session type isomorphismsAltayeva, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
1-Mar-2019Dynamic deadlock verification for general barrier synchronisationCogumbreiro, T; Hu, R; Martins, F; Yoshida, N; Engineering & Physical Science Research Council (E, et al
1-Dec-2018Interconnectability of session-based logical processesToninho, B; 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
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
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
14-Apr-2018On polymorphic sessions and functions: A talk of two (fully abstract) encodingsParente Coutinho Fernandes Toninho, B; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
14-Apr-2018Depending on session typed processYoshida, N; Parente Coutinho Fernandes Toninho, B; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al