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

Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi +3

We propose an automated method for proving termination of $\pi$-calculus processes, based on a reduction to termination of sequential programs: we translate a $\pi$-calculus process to…