FREITAS, Leonardo; SAMPAIO, Augusto; CAVALCANTI, Ana. JACK: A Framework for Process Algebra Implementation in Java. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 16. , 2002, Gramado/RS. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2002 . p. 98-113. DOI: https://doi.org/10.5753/sbes.2002.23941.