Author:
Barbuti Roberto,Maggiolo–Schettini Andrea,Milazzo Paolo
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lecture Notes in Computer Science;R. Alur,2001
2. Barbuti, R., et al.: A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae 72(1-3), 21–35 (2006)
3. Lecture Notes in Computer Science;R. Barbuti,2006
4. Lecture Notes in Bioinformatics;L. Cardelli,2005
5. Danos, V., Laneve, C.: Formal Molecular Biology. Theoretical Computer Science 325(1), 69–110 (2004)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Calculus of Looping Sequences with Local Rules;Electronic Proceedings in Theoretical Computer Science;2012-07-30
2. A Process Calculus for Molecular Interaction Maps;Electronic Proceedings in Theoretical Computer Science;2009-11-30
3. Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways;Lecture Notes in Computer Science;2008
4. The Calculus of Looping Sequences;Formal Methods for Computational Systems Biology