Enhanced operational semantics
ACM Computing Surveys (CSUR)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Information Processing Letters
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
A Core Modeling Language for the Working Molecular Biologist (Abstract)
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Quantitative analysis of biochemical signalling pathways
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Performance evaluation comes to life: quantitative methods applied to biological systems
ACM SIGMETRICS Performance Evaluation Review
Relating continuous and discrete PEPA models of signalling pathways
Theoretical Computer Science
Synapses as stochastic concurrent systems
Theoretical Computer Science
Deducing interactions in partially unspecified biological systems
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Cells in silico: a holistic approach
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Some notes on (mem)brane computation
PPSN'06 Proceedings of the 9th international conference on Parallel Problem Solving from Nature
An agent-oriented conceptual framework for systems biology
Transactions on Computational Systems Biology III
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Hi-index | 0.00 |
We report on the specification and analysis of VICE, a hypothetical cell with a genome as basic as possible. We used an enhanced version of the π-calculus and a prototype running it to study the behaviour of VICE. The results of our experimentation in silico confirm that our virtual cell “survives” in an optimal environment and shows a behaviour similar to that of real prokaryotes.