@Inproceedings{EPTCS322.5,
  author    = {Bouwman, Mark and Luttik, Bas and Schols, Wouter and Willemse, Tim A.C.},
  year      = {2020},
  title     = {A process algebra with global variables},
  editor    = {Dardha, Ornela and Rot, Jurriaan},
  booktitle = {{\rm Proceedings Combined 27th International Workshop on}
               Expressiveness in Concurrency {\rm and 17th Workshop on} Structural Operational Semantics,
               {\rm Online, 31 August 2020}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {322},
  publisher = {Open Publishing Association},
  pages     = {33-50},
  doi       = {10.4204/EPTCS.322.5},
}