A Process Calculus for Molecular Interaction Maps