Process Algebra with Backtracking

@inproceedings{Bergstra1993ProcessAW,
  title={Process Algebra with Backtracking},
  author={Jan A. Bergstra and Alban Ponse and Jos van Wamel},
  booktitle={REX School/Symposium},
  year={1993}
}