nekketsuuu/tapis

Termination analyzer of π-calculus processes by reduction to sequential programs