FBTCSome investigations concerning the CTMC and the ODE model derived from Bio-PEPA Federica Ciocchetta 1 ,a , Andrea Degasperi Jane Hillston 3 ,a and Muffy Calder 4 ,b

First Page		Document Content
Date: 2010-05-13 03:56:15 Chemistry Chemical reaction engineering Nature Markov processes Markov models Chemical kinetics PEPA Process calculi Markov chain Stoichiometry Chemical reaction Rate equation		FBTCSome investigations concerning the CTMC and the ODE model derived from Bio-PEPA Federica Ciocchetta 1 ,a , Andrea Degasperi Jane Hillston 3 ,a and Muffy Calder 4 ,b Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 337,17 KB Share Document on Facebook

	Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2 DocID: 1xVI7 - View Document
	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford DocID: 1xVnz - View Document
	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford DocID: 1xUS1 - View Document
	Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation∗ Luca Bortolussi3 , Luca Cardelli1,2 , Marta Kwiatkowska2 , and Luca Laurenti2 1 DocID: 1xTVb - View Document
	Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby DocID: 1xTpT - View Document