Return processes using HAL format