On the computational power of BlenX

9 years 10 months ago
On the computational power of BlenX
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processes. We show that for a core subset of the language (which considers only communication primitives) termination is decidable. Moreover, we prove that by adding either global priorities or events to this core language, we obtain Turing equivalent languages. The proof is through encodings of Random Access Machines (RAMs), a well known Turing equivalent formalism, into our subsets of BlenX. All the encodings are shown to be correct.
Alessandro Romanel, Corrado Priami
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where TCS
Authors Alessandro Romanel, Corrado Priami
Comments (0)