Title: Variants of Pi Calculus with Applications