On the computational power of BlenX

DOI10.1016/J.TCS.2009.09.038zbMATH Open1186.68200OpenAlexW2066249814MaRDI QIDQ1044845FDOQ1044845

Authors: Alessandro Romanel, Corrado Priami 

Publication date: 15 December 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://eprints.biblio.unitn.it/1732/1/TR%2D02%2D2008.pdf

Recommendations

• BlenX Static and Dynamic Semantics
• On the Computational Power of Biochemistry
• Turing universality of the biochemical ground form
• Undecidability results for deterministic communicating sequential processes
• On the expressiveness and decidability of higher-order process calculi

zbMATH Keywords

systems biologyprocess calculirandom access machinestermination decidabilityTuring equivalence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Statecharts: a visual formalism for complex systems
• Membrane computing. An introduction.
• Formal molecular biology
• Title not available (Why is that?)
• A structural approach to operational semantics
• BioAmbients: an abstraction for biological compartments
• Title not available (Why is that?)
• Functions as processes
• Brane Calculi
• A Compositional Approach to Performance Modelling
• Computational Methods in Systems Biology
• Priorities in process algebras
• Well-structured transition systems everywhere!
• The \(\pi\)-calculus: A theory of mobile processes
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Ordering by Divisibility in Abstract Algebras
• On the Expressive Power of Global and Local Priority in Process Calculi
• On the expressive power of recursion, replication and iteration in process calculi
• Computability of Recursive Functions
• On the computational strength of pure ambient calculi
• On the Expressive Power of Restriction and Priorities in CCS with Replication
• Title not available (Why is that?)
• CCS with priority choice
• Title not available (Why is that?)
• On the expressive power of movement and restriction in pure mobile ambients
• On the Computational Power of Biochemistry
• The decidability of the structural congruence for beta-binders
• Transactions on Computational Systems Biology I
• Computational self-assembly
• On the decidability and complexity of the structural congruence for beta-binders

Cited In (3)

• BlenX Static and Dynamic Semantics
• The BlenX Language with Biological Transactions
• Biochemical reaction rules with constraints

Uses Software

• PEPA

This page was built for publication: On the computational power of BlenX

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1044845)