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

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

Browse the full APLAS paper archive.