Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-9 of 9
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1-Jun-2018Multiparty session types, beyond dualityScalas, A; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC), et al
13-Sep-2018Event structure semantics of (controlled) reversible CCSGraversen, E; Phillips, I; Yoshida, N; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E, et al
24-Aug-2018A parametric framework for reversible π-calculiMedic, D; Mezzina, CA; Phillips, I; 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
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