2 search results - page 1 / 1 » A Stochastic Pi Calculus for Concurrent Objects |
AB
2007
Springer
13 years 10 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
BIRTHDAY
2000
Springer
13 years 8 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...