Synthesis Algorithm for Processes with Name-Passing