@misc{indiciaeb26bd31d7f16,
  title = {A Procedure for Splitting Processes and its Application to Coordination},
  author = {Sung-Shik T. Q. Jongmans and Dave Clarke and José Proença},
  year = {2012},
  doi = {10.4204/eptcs.91.6},
  url = {https://arxiv.org/abs/1209.1422},
  note = {Source identifier: 1209.1422}
}