Authors: Lopes, L Vasconcelos, VT Silva, F

Citation: L. Lopes et al., Fine-grained multithreading with process calculi, IEEE COMPUT, 50(8), 2001, pp. 852-862

Authors: Vasconcelos, VT

Citation: Vt. Vasconcelos, Processes, functions, and datatypes, THEOR PR OB, 5(2), 1999, pp. 97-110

Authors: Vasconcelos, VT Ravara, A

Citation: Vt. Vasconcelos et A. Ravara, Communication errors in the pi-calculus are undecidable, INF PROCESS, 71(5-6), 1999, pp. 229-233