Labelled Markov Processes as Generalised Stochastic Relations

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 of a commutative C*-algebra consisting of formal linear combinations of labelled trees. This yields a simple trace-tree se...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Mislove, M, Pavlovic, D, Worrell, J
Format: Journal article
Język:English
Wydane: 2007