Behavioural types inspired by cellular thresholds

Abstract

The sodium-potassium exchange pump is a transmembrane transport protein that establishes and maintains the appropriate internal concentrations of sodium and potassium ions in cells. This exchange is an important physiological process; it is critical in maintaining the osmotic balance of the cell. Inspired by the functioning of this pump, we introduce and study a threshold-based type system in a bio-inspired formalism. Such a system can avoid errors in the definition of the formal model used to model certain biologic processes. For this type system we prove a subject reduction theorem. © 2014 Springer International Publishing.