2167 search results - page 23 / 434 » Stochastic Process Algebras |
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
ICIP
1994
IEEE
14 years 9 months ago
1994
IEEE
PACT
2007
Springer
14 years 1 months ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...
SIAMJO
2008
13 years 7 months ago
2008
We study the quantitative stability of linear multistage stochastic programs under perturbations of the underlying stochastic processes. It is shown that the optimal values behave...
FUIN
2007
13 years 7 months ago
2007
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...