encoding of pi calculus using sessions with access points and
recursive types