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