Modeling consensus in a process calculus