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.
Swipe to navigate through the chapters of this book
- Core Formal Molecular Biology
- Springer Berlin Heidelberg
- Sequence number
Neuer Inhalt/© ITandMEDIA