BioMaxP: A Formal Approach for Cellular Ion Pumps
We look at the living cells as complex systems of ion pumps working in parallel to ensure proper physiologic functionalities. To model such a system of pumps, we define a simple and elegant approach that allows working with multisets of ions, explicit interpretation of the transportation (from ins...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova
2015-10-01
|
| Series: | Computer Science Journal of Moldova |
| Online Access: | http://www.math.md/files/csjm/v23-n2/v23-n2-(pp123-134).pdf |