Hamilton, Geoff, and Benjamin Aziz.
" Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication." <em>Anais do XXV Simpósio Brasileiro de Métodos Formais,
Evento Online, 2022</em>. SBC, 2022,  
pp.109-123.