• Sign in
  • Sign up
conf.researchr.org / Tsubasa Shoshi
  • SPLASH 2021 profile
  • SPLASH 2022 profile
No Photo

Registered user since Wed 16 Jun 2021

Name:Tsubasa Shoshi

Contributions

2022

SPLASH

  • Author of Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination within the COVID Time Papers In Person-track

2021

APLAS

  • Author of Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination within the Research Papers-track
Share
xSun 25 May 08:37
using conf.researchr.org (v1.69.0)
Support page
Sign Up