Freitas, L., 		Sampaio, A., & 		Cavalcanti, A.
(2002).
 JACK: A Framework for Process Algebra Implementation in Java.
In <em>Proceedings of the 16th Brazilian Symposium on Software Engineering</em>, (pp. 98-113). Porto Alegre: SBC.
doi:10.5753/sbes.2002.23941