pith. sign in

Nobuko Yoshida

Identifiers

  • name variant Nobuko Yoshida 0.60 · backfill

Papers (18)

  1. Formally Verified Liveness with Multiparty Session Types in Rocq cs.LO · 2026 · author #2
  2. Denotational reasoning for asynchronous multiparty session types cs.PL · 2026 · author #2
  3. Asynchronous Global Protocols, Precisely: Full Proofs cs.PL · 2025 · author #3
  4. Less is More Revisited: Association with Global Protocols and Multiparty Sessions cs.PL · 2024 · author #2
  5. Hybrid Multiparty Session Types -- Full Version cs.PL · 2023 · author #2
  6. Verifying Asynchronous Interactions via Communicating Session Automata cs.PL · 2019 · author #2
  7. A Parametric Framework for Reversible Pi-Calculi cs.FL · 2018 · author #4
  8. A Parametric Framework for Reversible $\pi$-Calculi cs.LO · 2018 · author #4
  9. Depending on Session-Typed Processes cs.PL · 2018 · author #2
  10. On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings cs.LO · 2017 · author #2
  11. Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) cs.PL · 2016 · author #4
  12. On the Preciseness of Subtyping in Session Types cs.LO · 2016 · author #4
  13. Multiparty Session Actors cs.PL · 2016 · author #2
  14. Reversing Single Sessions cs.LO · 2015 · author #2
  15. Characteristic Formulae for Session Types (extended version) cs.LO · 2015 · author #2
  16. Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness cs.LO · 2015 · author #3
  17. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types cs.FL · 2013 · author #2
  18. Logical Reasoning for Higher-Order Functions with Local State cs.LO · 2008 · author #1

Mentions

  • 1304.1902 #2 · backfill · confidence 0.70 Nobuko Yoshida
  • 2605.23633 #2 · arxiv_oai · confidence 0.70 Nobuko Yoshida
  • 2402.16741 #2 · arxiv_oai · confidence 0.70 Nobuko Yoshida
  • 0806.2448 #1 · backfill · confidence 0.70 Nobuko Yoshida

Frequent Coauthors