A flat process calculus for nested membrane interactions