HAMILTON, Geoff W.; AZIZ, Benjamin.
Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication. In: SIMPÓSIO BRASILEIRO DE MÉTODOS FORMAIS (SBMF), 25. , 2022, Evento Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2022
.
p. 109-123.