532 search results - page 3 / 107 » Process Algebras for Quantitative Analysis |
ECCV
1996
Springer
16 years 2 months ago
1996
Springer
94
Voted
JSS
2000
15 years 3 days 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...
110
click to vote
EPEW
2008
Springer
15 years 2 months 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...
IMECS
2007
15 years 1 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...
110
Voted
CMSB
2008
Springer
15 years 2 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.