A brief introduction to PVM