Hamilton, Geoff, AND 		Aziz, Benjamin.
" Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (6 December 2022)