Core formal molecular biology

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. © Springer-Verlag Berlin Heidelberg 2003.