Slide 1 Biomolecular Processes as Concurrent Computation: Modeling Molecular Processes in the -calculus Process Algebra Slide 2 2 Intracellular biochemical processes…