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...
প্রধান লেখক: | , , |
---|---|
বিন্যাস: | Journal article |
ভাষা: | English |
প্রকাশিত: |
2007
|