Hamilton, Geoff, E 		Aziz, Benjamin.
" Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (6 dezembro 2022)