Cell Cycle Control in Eukaryotes: A BioSpi model

Authors:
Paola Lecca;Corrado Priami
Affiliations:
Dipartimento di Informatica e Telecomunicazioni, University of Trento, Italy;Dipartimento di Informatica e Telecomunicazioni, University of Trento, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2007

Citing 2
Cited 14

Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters

Probabilistic model checking in practice: case studies with PRISM

ACM SIGMETRICS Performance Evaluation Review
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Electronic Notes in Theoretical Computer Science (ENTCS)
Using probabilistic model checking in systems biology

ACM SIGMETRICS Performance Evaluation Review
Modelling Intracellular Fate of FGF Receptors With BioAmbients

Electronic Notes in Theoretical Computer Science (ENTCS)
The BlenX Language with Biological Transactions

Transactions on Computational Systems Biology IX
Modeling of Genetic Regulatory Network in Stochastic π-Calculus

BICoB '09 Proceedings of the 1st International Conference on Bioinformatics and Computational Biology
Stochastic Process Algebra Based Software Process Simulation Modeling

ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A process model of Rho GTP-binding proteins

Theoretical Computer Science
CoBiC: Context-dependent Bioambient Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Biomolecular Agents as Multi-behavioural Concurrent Objects

Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic partition refinement with automatic balancing of time and space

Performance Evaluation
Towards probabilistic model checking on p systems using PRISM

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Correctness issues of symbolic bisimulation computation for markov chains

MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
An approach for lifetime reliability analysis using theorem proving

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a stochastic model of the cell cycle control in eukaryotes. The framework used is based on stochastic process algebras for mobile systems. The automatic tool used in the simulation is the BioSpi. We compare our approach with classical ODE specifications.