Candidates for pi-calculus