532 search results - page 1 / 107 » Process Algebras for Quantitative Analysis |
74
Voted
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
118
Voted
QEST
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
94
Voted
MPC
2010
Springer
15 years 3 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
81
Voted
RTSS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...