Abstrakt. Labelled Markov processes (LMPs) är automata vars övergångar ges av sannolikhetsfördelningar. I detta dokument presenterar vi en "universal" LMP som spektrum av en kommutativ C * -algebra som består av formella linjära kombinationer av märkta träd. Vi karakteriserar tillståndet utrymme av den universella LMP som uppsättningen av homomorphims från en beställd pendlande monoid av märkta träd in i multiplikativa enhetsintervall. Detta ger en enkel semantik för LMP som är helt abstrakt med avseende på probabilistisk bisimilaritet. Vi anser också LMPs med ingångspunkter och utgångspunkter i inställningen av iterationsteorier. Vi definierar en iterationsteori av LMPs genom att ange dess kategoriska dubbla: en viss kategori av C * -algebras. Vi anser att de grundläggande åtgärderna för sammansättning av lågaktivt verksamma ämnen har enkla definitioner i den dubbla kategorin.
REF utvecklade en vacker teori om dualitet för märkta Markov-processer som relaterar LMP till C * -algebras.
Duality for Labelled Markov Processes
{'venue': 'FoSSaCS', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}