Vi tillhandahåller en förlängning av samtidiga Kleene algebras för att redovisa probabilistiska egenskaper. Algebran ger en enhetlig ram som innehåller icke-determinism, samstämmighet och sannolikhet och är sund med avseende på uppsättningen av probabilistiska automatiserade modulo probabilistiska simuleringar. Vi använder den resulterande algebran för att generalisera den algebraiska formuleringen av en variant av Jones beroende/garantikalkyl.
I REF ges en förlängning av samtidiga Kleene algebras.
Probabilistic Concurrent Kleene Algebra
{'venue': 'EPTCS 117, 2013, pp. 97-115', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}