PEDERSEN, M. D. Logics for The Applied pi Calculus. BRICS Report Series, [S. l.], v. 13, n. 19, 2006. DOI: 10.7146/brics.v13i19.21923. Disponível em: https://tidsskrift.dk/brics/article/view/21923. Acesso em: 25 apr. 2024.