|
A.
OBTULOWICZ
Mathematical (Denotational) Semantics of Some Reducts of Ambient Calculus and
Brane Calculi
Abstract.
Mathematical models of some reducts of Ambient Calculus [4] and Brane Calculi
[2], [3] 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 [1] and the construct of a membrane
system is a basic concept of membrane computing [10].
READ THE PDF |