Vi generaliserar den klassiska uppfattningen om stationära distributioner av Markovprocesser till en modell av probabilistiska program som inkluderar demonisk icke-determinism. Förutom att ta bort några av de villkor som normalt krävs för stationaritet, tillåter vår generalisering utvecklingen av en komplett teori som kopplar stationärt beteende till långsiktigt genomsnittligt beteende - det senare är en viktig egenskap som ligger utanför det uttrycksfulla spektrumet av standardlogik för probabilistiska program.
MvIver REF generaliserar stationära distributioner av Markov processer till modeller av probabilistiska program som inkluderar icke-determinism (abstraktion) med stöd för Dijkstra-stil resonemang.
A Generalisation of Stationary Distributions, and Probabilistic Program Algebra
{'venue': 'MFPS', 'journal': 'Electr. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}