Sciweavers

28 search results - page 1 / 6
» membrane 2004
Sort
View
CMSB
2004
Springer
13 years 11 months ago
Brane Calculi
We introduce a family of process calculi with dynamic nested membranes. In contrast to related calculi, including some developed for biological applications, active entities here a...
Luca Cardelli
ACTA
2004
106views more  ACTA 2004»
13 years 5 months ago
Trading polarizations for labels in P systems with active membranes
Abstract. This paper addresses the problem of removing the polarizations of membranes from P systems with active membranes
Artiom Alhazov, Linqiang Pan, Gheorghe Paun
MCU
2004
96views Hardware» more  MCU 2004»
13 years 7 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun
MEMBRANE
2004
Springer
13 years 11 months ago
Communicative P Systems with Minimal Cooperation
We proved that two classes of Communicative P systems with 3 membranes and with minimal cooperation, namely P systems with symport/antiport rules of size 1 and and P systems with s...
Artiom Alhazov, Maurice Margenstern, Vladimir Rogo...
CORR
2004
Springer
113views Education» more  CORR 2004»
13 years 5 months ago
An approach to membrane computing under inexactitude
In this paper we introduce a fuzzy version of symport/antiport membrane systems. Our fuzzy membrane systems handle possibly inexact copies of reactives and their rules are endowed...
Jaume Casasnovas, Joe Miró, Manuel Moya, Fr...