A process algebra with global variables. - Mark Bouwman; Bas Luttik; Wouter Schols; Tim A. C. Willemse (EXPRESS/SOS, 2020)