Hamilton, G., & 		Aziz, B.
2022 dez  6.  Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :