nano\(\kappa\): A calculus for the modeling and simulation of nano devices

DOI10.1016/J.TCS.2008.07.006zbMath1160.68677OpenAlexW2080984519WikidataQ61445114 ScholiaQ61445114MaRDI QIDQ959782

A. Credi, S. Pradalier, S. Silvi, M. Garavelli, Cosimo Laneve, Gianluigi Zavattaro

Publication date: 12 December 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.07.006

zbMATH Keywords

stochastic simulationmolecular machineMarkovian process calculirotaxane

Mathematics Subject Classification ID

Related Items (5)

Computational modelling of the kinetic tile assembly model using a rule-based approach ⋮ Process calculi for biological processes ⋮ A Framework for Modelling and Simulating Networks of Cells ⋮ A simple calculus for proteins and cells ⋮ Expressivity in the κ Family

Uses Software

• Bio-PEPA
• BIOCHAM
• PEPA

Cites Work

• Unnamed Item
• Unnamed Item
• Interactive Markov chains. And the quest for quantified quality
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Formal molecular biology
• On process rate semantics
• A Simple Calculus for Proteins and Cells
• Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
• Bisimulation Congruences in the Calculus of Looping Sequences
• Finite Continuous Time Markov Chains
• Computational Methods in Systems Biology

This page was built for publication: nano\(\kappa\): A calculus for the modeling and simulation of nano devices