Related Experiment Video
Updated: Jun 26, 2026

A Model Membrane Platform for Reconstituting Mitochondrial Membrane Dynamics
Published on: September 2, 2020
On the relationship between membranes and ambients
1A.I. Cuza University, Faculty of Computer Science, Blvd. Carol I no. 11, 700506 Iaşi, Romania. gabriel@info.uaic.ro
Abstract:
We establish a relationship between two formalisms used in describing biological systems. We translate some notions from the ambient calculus into the formalism of membrane systems. Thus we consider the exhibit of an ambient, its level, the structural congruence, and the contextual bisimulation in order to define and study in membrane systems the corresponding observation barbs, the depths of a membrane system, the structural congruence and the contextual bisimulation. We describe the sodium-potassium exchange pump in both membrane systems and safe ambients. We also compare the direct description of the pump using the membrane systems with the description obtained through the translation from safe ambients.
Related Concept Videos
What are Membranes?
Membrane Fluidity
What are Membranes?
Membrane Fluidity
Mosaic nature of the membrane
The mosaic characteristic of the membrane helps the plasma membrane remain fluid. The integral proteins and lipids exist as separate but loosely-attached molecules in the membrane. The membrane is a relatively...
Asymmetric Lipid Bilayer
What are Membranes?

