Termination Analysis for the $$ pi $$-Calculus by Reduction to Sequential Program Termination. - Tsubasa Shoshi; Takuma Ishikawa; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001; Takeshi Tsukada (APLAS, 2021)

Termination Analysis for the π-Calculus by Reduction to Sequential Program Termination. - Tsubasa Shoshi; Takuma Ishikawa; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001; Takeshi Tsukada (CoRR, 2021)