An Intermediate Language for the Simulation of Biological Systems-Reference-Cited by-同舟云学术

An Intermediate Language for the Simulation of Biological Systems

Published:2008-01 Issue:3 Volume:194 Page:19-34
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Barbuti Roberto,Caravagna Giulio,Maggiolo–Schettini Andrea,Milazzo Paolo

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference12 articles.

1. A Calculus of Looping Sequences for Modelling Microbiological Systems;Barbuti;Fundamenta Informaticae,2006

2. Barbuti, R., A. Maggiolo-Schettini, P. Milazzo, and A. Troina. The Calculus of Looping Sequences for Modeling Biological Membranes. In 8th Workshop on Membrane Computing (WMC8), LNCS, Springer, to appear

3. Brane Calculi. Interactions of Biological Membranes;Cardelli,2005

4. Cervesato, I. The Logical Meeting Point of Multiset Rewriting and Process Algebra. Technical Memo CHACS-5540-153, Center for High Assurance Computer Systems, Naval Research Laboratory, Washington, DC, 2004

5. Modelling Biochemical Pathways through Enhanced Pi-calculus;Curti;Theoretical Computer Science,2004

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An encoding of the $$\lambda $$-calculus in the String MultiSet Rewriting calculus;Acta Informatica;2024-03-13

2. Solving the SAT problem with the string multiset rewriting calculus;Computing;2024-02-06

3. Rule-based modelling of biological systems using regulated rewriting;Biosystems;2023-03

4. An intermediate language for the stochastic simulation of biological systems;Theoretical Computer Science;2009-08

5. The Calculus of Looping Sequences;Formal Methods for Computational Systems Biology