An Abstract Execution Model for Basic LOTOS