On the computational power of BlenX
From MaRDI portal
Publication:1044845
DOI10.1016/j.tcs.2009.09.038zbMath1186.68200OpenAlexW2066249814MaRDI QIDQ1044845
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
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Priorities in process algebras
- Computational self-assembly
- On the decidability and complexity of the structural congruence for beta-binders
- Statecharts: a visual formalism for complex systems
- CCS with priority choice
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- On the computational strength of pure ambient calculi
- Membrane computing. An introduction.
- A structural approach to operational semantics
- On the expressive power of movement and restriction in pure mobile ambients
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- The Decidability of the Structural Congruence for Beta-binders
- On the Expressive Power of Global and Local Priority in Process Calculi
- On the Computational Power of Biochemistry
- On the Expressive Power of Restriction and Priorities in CCS with Replication
- On the expressive power of recursion, replication and iteration in process calculi
- Functions as processes
- A Compositional Approach to Performance Modelling
- Transactions on Computational Systems Biology I
- Brane Calculi
- Computational Methods in Systems Biology
- Computability of Recursive Functions
- Ordering by Divisibility in Abstract Algebras
- Well-structured transition systems everywhere!
This page was built for publication: On the computational power of BlenX
