Vi introducerar tre modeller av probabilistiska processer, nämligen reaktiva, generativa och stratied. Dessa modeller undersöks inom ramen för PCCS, en förlängning av Milners SCCS där varje summa av ett processsammanfattningsuttryck bevakas av en sannolikhet och summan av dessa sannolikheter är 1. För varje modell presenterar vi en strukturell operationell semantik av PCCS och ett begrepp av bisimulation ekvivalens som vi visar sig vara en kongruens. Vi visar också att modellerna bildar en hierarki: den reaktiva modellen kan härledas från den generativa modellen genom abstraktion från de relativa sannolikheterna för olika handlingar, och den generativa modellen kan härledas från den strati ed modellen genom abstraktion från den rent probabilistiska förgreningsstrukturen. Dessutom kan den klassiska icke-probabilistiska modellen härledas från var och en av dessa modeller genom abstraktion från alla sannolikheter.
Glabbeek m.fl. REF presenterar tre modeller för PCCS, en probabilistisk dialekt av Milners SCCS [15].
Reactive, Generative and Stratified Models of Probabilistic Processes
{'venue': 'Information and Computation', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}