Performance Evaluation of Mobile Processes via Abstract Machines