Sciweavers

7681 search results - page 4 / 1537
» Typed Membrane Systems
Sort
View
JUCS
2002
80views more  JUCS 2002»
13 years 7 months ago
On the Power of P Systems with Symport Rules
: A purely communicative variant of P systems was considered recently, based on the trans-membrane transport of couples of chemicals. When using both symport rules (the chemicals p...
Carlos Martín-Vide, Andrei Paun, Gheorghe P...
ACTA
2006
154views more  ACTA 2006»
13 years 7 months ago
Solving HPP and SAT by P Systems with Active Membranes and Separation Rules
The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obta...
Linqiang Pan, Artiom Alhazov
MEMBRANE
2009
Springer
14 years 1 months ago
Discovering the Membrane Topology of Hyperdag P Systems
Radu Nicolescu, Michael J. Dinneen, Yun-Bum Kim
FMOODS
2003
13 years 8 months ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani
MEMBRANE
2009
Springer
14 years 1 months ago
Tuning P Systems for Solving the Broadcasting Problem
Raluca Lefticaru, Florentin Ipate, Marian Gheorghe...