Sylvain Pradalier

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.
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)
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)
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