pith. sign in

Nobuko Yoshida (Imperial College London)

Identifiers

  • name variant Nobuko Yoshida (Imperial College London) 0.60 · backfill

Papers (12)

  1. Multiparty Session Type-safe Web Development with Static Linearity cs.PL · 2019 · author #3
  2. Service Equivalence via Multiparty Session Type Isomorphisms cs.PL · 2019 · author #2
  3. Towards a Categorical Representation of Reversible Event Structures cs.LO · 2017 · author #3
  4. Multiparty Session Types, Beyond Duality (Abstract) cs.PL · 2017 · author #2
  5. Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software cs.DC · 2016 · author #2
  6. Using session types as an effect system cs.PL · 2016 · author #2
  7. Globally Governed Session Semantics cs.LO · 2014 · author #2
  8. Timed Runtime Monitoring for Multiparty Conversations cs.DC · 2014 · author #3
  9. Multiparty Session Actors cs.DC · 2014 · author #2
  10. Parameterised Multiparty Session Types cs.LO · 2012 · author #2
  11. Secure Execution of Distributed Session Programs cs.DC · 2011 · author #3
  12. Multiparty Symmetric Sum Types cs.DC · 2010 · author #3

Mentions

  • 1412.5943 #2 · backfill · confidence 0.70 Nobuko Yoshida (Imperial College London)
  • 1408.5979 #3 · backfill · confidence 0.70 Nobuko Yoshida (Imperial College London)
  • 1406.3482 #2 · backfill · confidence 0.70 Nobuko Yoshida (Imperial College London)
  • 1208.6483 #2 · backfill · confidence 0.70 Nobuko Yoshida (Imperial College London)
  • 1110.4156 #3 · backfill · confidence 0.70 Nobuko Yoshida (Imperial College London)
  • 1011.6436 #3 · backfill · confidence 0.70 Nobuko Yoshida (Imperial College London)

Frequent Coauthors