inst: processes is a list