I know there is some sort of process algebra (or possibly calculus?) out there, but unfortunately I only know Lambda calculus...and what I know is nothing too deep (just the basics for math, and logic). Is there any formulation of processes in terms of Lambda calculus? I tried searching google several times and it was useless.