TY  - RPRT
TI  - Termination Analysis for the $π$-Calculus by Reduction to Sequential Program Termination
AU  - Tsubasa Shoshi
AU  - Takuma Ishikawa
AU  - Naoki Kobayashi
AU  - Ken Sakayori
AU  - Ryosuke Sato
AU  - Takeshi Tsukada
PY  - 2021
UR  - https://arxiv.org/abs/2109.00311
ID  - 2109.00311
ER  -