Freitas, L., 		Sampaio, A., & 		Cavalcanti, A.
2002 out 16.  JACK: A Framework for Process Algebra Implementation in Java. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :