532 search results - page 3 / 107 » Process Algebras for Quantitative Analysis |
ECCV
1996
Springer
16 years 3 days ago
1996
Springer
75
Voted
JSS
2000
14 years 10 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
92
Voted
EPEW
2008
Springer
15 years 21 hour ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
80
Voted
IMECS
2007
14 years 11 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
CMSB
2008
Springer
15 years 1 days ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.