A tool to translate process algebras into CSPM.