Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tsubasa Shoshi
conf.researchr.org general profile
SPLASH 2021 profile
SPLASH 2022 profile
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
x
Sun 26 Oct 21:02