@misc{indiciae29137ecad386,
  title = {A process algebra with global variables},
  author = {Mark Bouwman and Bas Luttik and Wouter Schols and Tim A. C. Willemse},
  year = {2020},
  doi = {10.4204/eptcs.322.5},
  url = {https://arxiv.org/abs/2008.13356},
  note = {Source identifier: 2008.13356}
}