Sciweavers

2167 search results - page 43 / 434
» Stochastic Process Algebras
Sort
View
IRI
2008
IEEE
14 years 4 months ago
Model check stochastic supply chains
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
Li Tan, Shenghan Xu
ACSD
2008
IEEE
89views Hardware» more  ACSD 2008»
14 years 4 months ago
Process algebraic verification of SystemC codes
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...
AB
2008
Springer
14 years 4 months ago
Process Algebra Models of Population Dynamics
Chris McCaig, Rachel Norman, Carron Shankland
FSEN
2007
Springer
14 years 3 months ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg