Hamilton, G., & 		Aziz, B.
(2022).
 Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication.
In <em>Anais do XXV Simpósio Brasileiro de Métodos Formais</em>, (pp. 109-123). Porto Alegre: SBC.