Sciweavers

DNA
2009
Springer
158views Bioinformatics» more  DNA 2009»
13 years 11 months ago
Design of a Biomolecular Device That Executes Process Algebra
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
Urmi Majumder, John H. Reif