Theoretical Computer Science
On the Verification of Broadcast Protocols
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
When ambients cannot be opened
Theoretical Computer Science - Foundations of software science and computation structures
Typed Mobile Ambients in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Reachability analysis in boxed ambients
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Deciding reachability in mobile ambients
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Reachability Analysis in BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Deciding reachability problems in turing-complete fragments of mobile ambients
Mathematical Structures in Computer Science
On the verification of membrane systems with dynamic structure
Natural Computing: an international journal
Reachability problems in BioAmbients
Theoretical Computer Science
Hi-index | 0.00 |
BioAmbients is a powerful model for representing various aspects of living cells. The model provides a rich set of operations for the movement and interaction of molecules. The richness of the language motivates the study of dialects of the full model and the comparison with other computational models. In this paper we investigate the limit between decidability and undecidability of two decision problems, namely reachability and spatial reachability, for semantic and syntactic fragments of BioAmbients providing movement capabilities and merge. Our results illustrate the power of merge with respect to the other movement operations of BA for properties like reachability. Furthermore, they establish an interesting connection between BioAmbients and other computational models like associative-commutative term rewriting and Petri nets with transfer arcs.