1 Search Results for "Versari, Cristian"


Document
Stochastic modelling of cellular growth and division by means of the pi@ calculus

Authors: Cristian Versari

Published in: Dagstuhl Seminar Proceedings, Volume 9091, Formal Methods in Molecular Biology (2009)


Abstract
The application of Concurrency Theory to Systems Biology is in its earliest stage of progress. The metaphor of cells as computing systems by Regev and Shapiro opened the employment of concurrent languages for the modelling of biological systems. Their peculiar characteristics led to the design of many bio-inspired formalisms which achieve higher faithfulness and specificity. In this paper we discuss the application to the biological modelling of pi@, a core calculus for the representation of biological systems. The pi@ language represents a keystone in this respect, thanks to its expressiveness capabilities which allow the modelling of a wide variety of phenomena (e.g. simple chemical reactions, but also formation of molecular or protein complexes, organisation of complex system in dynamical compartment hierarchies) despite of its simplicity and conservativeness. Here we analyse a biological case study involving cellular growth and division, modelled in the stochastic variant of pi@: the case study is formalised and stochastically simulated according to a multi-compartment extension of Gillespie's stochastic simulation algorithm. The results underline the usefulness of the modelling approach adopted in pi@ for the correct handling of systems with variable volume.

Cite as

Cristian Versari. Stochastic modelling of cellular growth and division by means of the pi@ calculus. In Formal Methods in Molecular Biology. Dagstuhl Seminar Proceedings, Volume 9091, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{versari:DagSemProc.09091.7,
  author =	{Versari, Cristian},
  title =	{{Stochastic modelling of cellular growth and division by means of the pi@ calculus}},
  booktitle =	{Formal Methods in Molecular Biology},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9091},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09091.7},
  URN =		{urn:nbn:de:0030-drops-19907},
  doi =		{10.4230/DagSemProc.09091.7},
  annote =	{Keywords: Process algebra, pi-calculus, simulation, stochastic}
}
  • Refine by Author
  • 1 Versari, Cristian

  • Refine by Classification

  • Refine by Keyword
  • 1 Process algebra
  • 1 pi-calculus
  • 1 simulation
  • 1 stochastic

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2009

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail