22/02/2002, Friday, 16:30–17:30 Room P3.10, Mathematics Building António Ravara, Instituto Superior Técnico Distributed Pi-calculus