Biomolecular Processes as Concurrent Computation: Modeling Molecular Processes in the -calculus Process Algebra.
