ABENDROTH, J. Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism. BRICS Report Series, [S. l.], v. 10, n. 39, 2003. DOI: 10.7146/brics.v10i39.21807. Disponível em: https://tidsskrift.dk/brics/article/view/21807. Acesso em: 25 apr. 2024.