Modelization and simulation of nano devices in nanok calculus

Authors:
Alberto Credi;Marco Garavelli;Cosimo Laneve;Sylvain Pradalier;Serena Silvi;Gianluigi Zavattaro
Affiliations:
Dipartimento di Chimica "G. Ciamician", Università di Bologna;Dipartimento di Chimica "G. Ciamician", Università di Bologna;Dipartimento di Scienze dell'Informazione, Università di Bologna;Ecole Polytechnique, Paris;Dipartimento di Chimica "G. Ciamician", Università di Bologna;Dipartimento di Scienze dell'Informazione, Università di Bologna
Venue:
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Year:
2007

Citing 6
Cited 9

The PEPA workbench: a tool to support a process algebra-based approach to performance modelling

Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
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
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
A Simple Calculus for Proteins and Cells

Electronic Notes in Theoretical Computer Science (ENTCS)
Interactive Markov chains: and the quest for quantified quality

Interactive Markov chains: and the quest for quantified quality

A simple calculus for proteins and cells

Theoretical Computer Science
On the Computational Power of Biochemistry

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Expressivity in the κ Family

Electronic Notes in Theoretical Computer Science (ENTCS)
The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
From Biochemistry to Stochastic Processes

Electronic Notes in Theoretical Computer Science (ENTCS)
A gentle introduction to stochastic (poly)automata collectives and the (bio)chemical ground form

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
Rule-based modeling of transcriptional attenuation at the tryptophan operon

Winter Simulation Conference
Rule-Based modeling of transcriptional attenuation at the tryptophan operon

Transactions on Computational Systems Biology XII
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract)

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a process calculus - the nanoκ Calculus - for modeling, analyzing and predicting the properties of molecular devices. The nanoκ Calculus is equipped with a simple stochastic model, that we use to model and simulate the behaviour of a molecular shuttle, a basic nano device currently used for building more complex systems.