Nobuko Yoshida (Imperial College
Identifiers
No identifiers captured yet.
Papers (2)
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion cs.LO · 2015 · author #5
- Towards Reversible Sessions cs.PL · 2014 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- London 2 shared papers
- Department of Computing) 1 shared papers
- Exformatics A/S) 1 shared papers
- Francesco Tiezzi (IMT Institute for Advanced Studies 1 shared papers
- Italy) 1 shared papers
- Lucca 1 shared papers
- S{\o}ren Debois (IT University of Copenhagen) 1 shared papers
- Thomas Hildebrandt (IT University of Copenhagen) 1 shared papers
- Tijs Slaats (IT University of Copenhagen 1 shared papers
- U.K.) 1 shared papers