nanoK: A calculus for the modeling and simulation of nano devices

Authors:
A. Credi;M. Garavelli;C. Laneve;S. Pradalier;S. Silvi;G. Zavattaro
Affiliations:
Dipartimento di Chimica G. Ciamician, Università di Bologna, Italy;Dipartimento di Chimica G. Ciamician, Università di Bologna, Italy;Dipartimento di Scienze dellInformazione, Università di Bologna, Italy;Ecole Polytechnique, Paris, France;Dipartimento di Chimica G. Ciamician, Università di Bologna, Italy;Dipartimento di Scienze dellInformazione, Università di Bologna, Italy
Venue:
Theoretical Computer Science
Year:
2008

Citing 11
Cited 4

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
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Bioinformatics
A Calculus of Looping Sequences for Modelling Microbiological Systems

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
On process rate semantics

Theoretical Computer Science
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
An automated translation from a narrative language for biological modelling into process algebra

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Scalable simulation of cellular signaling networks

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology

Biochemical Tuple Spaces for Self-organising Coordination

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A Framework for Modelling and Simulating Networks of Cells

Electronic Notes in Theoretical Computer Science (ENTCS)
Complex functional rates in rule-based languages for biochemistry

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

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	5.23

Visualization

Abstract

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