Core formal molecular biology

@misc{citeulike:485717, abstract = {A core modeling language for Molecular Biology is introduced, where two simple forms of interaction are considered, complexation and activation. This core language is equipped with two sensible bisimulation-based equivalences, and it is shown that interactions involving complex reactants are superfluous up to these notions. Strong compilations in \#-calculus are given, following Regev's principle of translating physical connection as private name sharing.}, author = {Danos, V. and Laneve, C. }, citeulike-article-id = {485717}, keywords = {bio, formalism, networks}, posted-at = {2006-01-30 10:23:08}, priority = {2}, title = {Core formal molecular biology}, url = {http://citeseer.ist.psu.edu/danos03core.html}, year = {2003} }

TY - GEN ID - citeulike:485717 L3 - citeulike-article-id:485717 N2 - A core modeling language for Molecular Biology is introduced, where two simple forms of interaction are considered, complexation and activation. This core language is equipped with two sensible bisimulation-based equivalences, and it is shown that interactions involving complex reactants are superfluous up to these notions. Strong compilations in #-calculus are given, following Regev's principle of translating physical connection as private name sharing. TI - Core formal molecular biology KW - bio KW - formalism KW - networks AU - Danos, V AU - Laneve, C PY - 2003/// UR - http://citeseer.ist.psu.edu/danos03core.html ER -