Mathematical (Denotational) Semantics of Some Reducts of Ambient Calculus and
Mathematical models of some reducts of Ambient Calculus  and Brane Calculi
,  are presented and discussed. The models are certain classes of those
hereditary finite sets which represent some membrane systems; the notion of a
hereditary finite set was introduced in  and the construct of a membrane
system is a basic concept of membrane computing .
READ THE PDF