BioMaxP: A Formal Approach for Cellular Ion Pumps

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...

Full description

Bibliographic Details
Main Authors: Bogdan Aman, Gabriel Ciobanu
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
id doaj-b494dfbffa654f4ea10c2366871df0a2
record_format Article
spelling doaj-b494dfbffa654f4ea10c2366871df0a22020-11-24T23:04:15ZengInstitute of Mathematics and Computer Science of the Academy of Sciences of MoldovaComputer Science Journal of Moldova1561-40422015-10-01232(68)123134BioMaxP: A Formal Approach for Cellular Ion PumpsBogdan Aman0Gabriel Ciobanu1Romanian Academy, Institute of Computer Science, Blvd. Carol I no.11, 700506, Iasi, RomaniaRomanian Academy, Institute of Computer Science, Blvd. Carol I no.11, 700506, Iasi, RomaniaWe 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.http://www.math.md/files/csjm/v23-n2/v23-n2-(pp123-134).pdf
collection DOAJ
language English
format Article
sources DOAJ
author Bogdan Aman
Gabriel Ciobanu
spellingShingle Bogdan Aman
Gabriel Ciobanu
BioMaxP: A Formal Approach for Cellular Ion Pumps
Computer Science Journal of Moldova
author_facet Bogdan Aman
Gabriel Ciobanu
author_sort Bogdan Aman
title BioMaxP: A Formal Approach for Cellular Ion Pumps
title_short BioMaxP: A Formal Approach for Cellular Ion Pumps
title_full BioMaxP: A Formal Approach for Cellular Ion Pumps
title_fullStr BioMaxP: A Formal Approach for Cellular Ion Pumps
title_full_unstemmed BioMaxP: A Formal Approach for Cellular Ion Pumps
title_sort biomaxp: a formal approach for cellular ion pumps
publisher Institute of Mathematics and Computer Science of the Academy of Sciences of Moldova
series Computer Science Journal of Moldova
issn 1561-4042
publishDate 2015-10-01
description 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.
url http://www.math.md/files/csjm/v23-n2/v23-n2-(pp123-134).pdf
work_keys_str_mv AT bogdanaman biomaxpaformalapproachforcellularionpumps
AT gabrielciobanu biomaxpaformalapproachforcellularionpumps
_version_ 1725631694160003072

Similar Items