The Topological Structures of Membrane Computing

Authors:
Jean-Louis Giavitto;Olivier Michel
Affiliations:
LaMI, umr 8042 CNRS - University of Evry, Tour Evry 2, 523 Place des terasses de l'Agora, 91000 Evry, FRANCE;LaMI, umr 8042 CNRS - University of Evry, Tour Evry 2, 523 Place des terasses de l'Agora, 91000 Evry, FRANCE
Venue:
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Year:
2002

Citing 9
Cited 3

Topological models for boundary representation: a comparison with n-dimensional generalized maps

Computer-Aided Design - Beyond solid modelling
Relational programming laws in the tree, list, bag, set hierarchy

Science of Computer Programming - Special issue on mathematics of program construction
Principles of programming with complex objects and collection types

ICDT '92 Selected papers of the fourth international conference on Database theory
A framework for the recursive definition of data structures

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Logical string rewriting

Theoretical Computer Science
Group-Based Fields

PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems
Declarative definition of group indexed data structures and approximation of their domains

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
NESL: A Nested Data-Parallel Language (Version 2.6)

NESL: A Nested Data-Parallel Language (Version 2.6)
Theory of Self-Reproducing Automata

Theory of Self-Reproducing Automata

Spatial computing in MGS

UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
P systems controlled by general topologies

UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
A review of morphogenetic engineering

Natural Computing: an international journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

In its initial presentation, the P system formalism describes the topology of the membranes as a set of nested regions. In this paper, we present an algebraic structure developped in combinatorial topology that can be used to describe finer adjacency relationships between membranes. Using an appropriate abstract setting, this technical device enables us to reformulate also the computation within a membrane and proposes a unified view on several computational mechanisms initially inspired by biological processes. These theoretical tools are instantiated in MGS, an experimental programming language handling various types of membrane structures in a homogeneous and uniform syntax.