Biomolecular Processes as Concurrent Computation: Modeling Molecular Processes in the -calculus Process Algebra.
The BioPSI Project: Concurrent Processes Come Alive aviv.