Travelling Processes

@inproceedings{Tang2004TravellingP,
  title={Travelling Processes},
  author={Xinbei Tang and Jim Woodcock},
  booktitle={MPC},
  year={2004}
}