60 search results - page 1 / 12 » Labelled Markov Processes as Generalised Stochastic Relation... |
116
Voted
ENTCS
2007
15 years 2 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...
132
Voted
FMCO
2009
Springer
15 years 15 days ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
135
Voted
QEST
2010
IEEE
15 years 18 days ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
201
Voted
TGC
2010
Springer
15 years 17 days ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...
117
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...