 | 2009 |
|---|
| 5 |       | Cosimo Laneve,
Sylvain Pradalier,
Gianluigi Zavattaro:
From Biochemistry to Stochastic Processes.
Electr. Notes Theor. Comput. Sci. 253(3): 167-185 (2009) |
| 2008 |
|---|
| 4 | | Alberto Credi,
Marco Garavelli,
Cosimo Laneve,
Sylvain Pradalier,
Serena Silvi,
Gianluigi Zavattaro:
nanoK: A calculus for the modeling and simulation of nano devices.
Theor. Comput. Sci. 408(1): 17-30 (2008) |
| 2007 |
|---|
| 3 | | Alberto Credi,
Marco Garavelli,
Cosimo Laneve,
Sylvain Pradalier,
Serena Silvi,
Gianluigi Zavattaro:
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.
CMSB 2007: 168-183 |
| 2006 |
|---|
| 2 | | Sylvain Pradalier,
Catuscia Palamidessi:
Expressiveness of Probabilistic pi.
Electr. Notes Theor. Comput. Sci. 164(3): 119-136 (2006) |
| 2004 |
|---|
| 1 | | Vincent Danos,
Sylvain Pradalier:
Projective Brane Calculus.
CMSB 2004: 134-148 |
