IMCS/Publications/CSJM/Issues/CSJM v.23, n.2 (68), 2015/

BioMaxP: A Formal Approach for Cellular Ion Pumps

Authors: Bogdan Aman, Gabriel Ciobanu


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 inside to outside, and from outside to inside) based on the number of existing ions, and a maximal parallel execution of the involved pumps.

Romanian Academy, Institute of Computer Science
Blvd. Carol I no.11, 700506 Iasi, Romania
E-mail: ,

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License


Adobe PDF document0.13 Mb