Tsubasa Shoshi

According to our database, Tsubasa Shoshi authored at least 2 papers in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination.

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada

CoRR, 2021

Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination.

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021