Measurable stochastics for Brane Calculus-Reference-Cited by-同舟云学术

Measurable stochastics for Brane Calculus

Published:2012-05 Issue: Volume:431 Page:117-136
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Bacci Giorgio,Miculan Marino

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference33 articles.

1. G. Bacci, M. Miculan, Measurable stochastics for brane calculus. CoRR abs/1011.0488, 2010.

2. The calculus of looping sequences for modeling biological membranes;Barbuti,2007

3. Bisimulations in calculi modelling membranes;Barbuti;Form. Asp. Comput.,2008

4. F. Bartels, On generalised coinduction and probabilistic specification formats: distributive laws in coalgebraic modelling. Ph.D. thesis, CWI, Amsterdam, 2004. http://homepages.cwi.nl/~bartels/Papers/Thesis.pdf.

5. A hierarchy of probabilistic system types;Bartels;Electron. Notes Theor. Comput. Sci.,2003

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

1. Structural operational semantics for continuous state stochastic transition systems;Journal of Computer and System Sciences;2015-08

2. Formalizing Modularization and Data Hiding in Synthetic Biology;ACM Journal on Emerging Technologies in Computing Systems;2014-12-30

3. Programming chemistry in DNA-addressable bioreactors;Journal of The Royal Society Interface;2014-10-06

4. The Measurable Space of Stochastic Processes;Fundamenta Informaticae;2014

5. Chemical Production and Molecular Computing in Addressable Reaction Compartments;Language, Life, Limits;2014