Hamilton, G., & 		Aziz, B.
2022 Dec  6.  Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :