#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2004

2013

- This year (0)
- Last 5 years (1)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

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.

- Vincent Danos, Sylvain Pradalier
- CMSB
- 2004

A refinement of Cardelli’s brane calculus [1] is introduced where membrane actions are directed. This modification brings the language closer to biological membranes and also obtains a symmetric set of membrane interactions. An associated structural congruence, termed the projective equivalence, is defined and shown to be preserved under all possible system… (More)

In this work we propose a probabilistic extension of the π-calculus. The main novelty is a probabilistic mixed choice operator, that is, a choice construct with a probability distribution on the branches, and where input and output actions can both occur as guards. We develop the operational semantics of this calculus, and then we investigate its… (More)

- Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
- Theor. Comput. Sci.
- 2008

- Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
- Electr. Notes Theor. Comput. Sci.
- 2009

The nanoκ calculus is a formalism for modelling biochemical systems following a reactive-oriented approach. We study the implementation of nanoκ into the Stochastic Pi Machine that complies with the stochastic behaviors of solutions. Our implementation allows us to use nanoκ as a front-end for a process-oriented simulator, thus being intelligible to… (More)

A formal approach to the modeling, simulation and analysis of nano-devices.

- Sylvain Pradalier, Catuscia Palamidessi
- Electr. Notes Theor. Comput. Sci.
- 2006

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 behavior of a molecular shuttle, a basic nano device currently used for building more complex systems.

- ‹
- 1
- ›