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
Theoretical Computer Science
PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems
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
Pattern-matching and rewriting rules for group indexed data structures
Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Pattern-matching and rewriting rules for group indexed data structures
ACM SIGPLAN Notices
Data Structure as Topological Spaces
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Accretive Rules in Cayley P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
Software-Intensive Systems and New Computing Paradigms
Rule-based programming for integrative biological modeling
Natural Computing: an international journal
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Declarative mesh subdivision using topological rewriting in MGS
ICGT'10 Proceedings of the 5th international conference on Graph transformations
On self-assembly in population p systems
UC'05 Proceedings of the 4th international conference on Unconventional Computation
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
Integrated regulatory networks (IRNs): Spatially organized biochemical modules
Theoretical Computer Science
The modeling and the simulation of the fluid machines of synthetic biology
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Generalized gandy-păun-rozenberg machines for tile systems and cellular automata
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Interaction based simulation of dynamical system with a dynamical structure (DS)2 in MGS
Proceedings of the 2011 Summer Computer Simulation Conference
Hi-index | 0.00 |
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.