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.