805 search results - page 1 / 161 » The Measurable Space of Stochastic Processes |
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
ENTCS
2007
13 years 4 months ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
EPEW
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
PDPTA
2008
13 years 6 months ago
2008
Web caches play an important role in improving the surfing experience of Web clients and reducing the network traffic seen by Web servers. Accurate analytical models of Web caches ...
TAMC
2009
Springer
13 years 11 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...