Login / Signup
Tsubasa Shoshi
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 2
Top Topics
Database
Integrity Constraints
Control Flow
Active Rules
Top Venues
CoRR
APLAS
</>
Publications
</>
Tsubasa Shoshi
,
Takuma Ishikawa
,
Naoki Kobayashi
,
Ken Sakayori
,
Ryosuke Sato
,
Takeshi Tsukada
Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination.
CoRR
(2021)
Tsubasa Shoshi
,
Takuma Ishikawa
,
Naoki Kobayashi
,
Ken Sakayori
,
Ryosuke Sato
,
Takeshi Tsukada
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination.
APLAS
(2021)