Automatic mapping of ASSIST applications using process algebra