====== Talks on Other Interesting Topics ======
In these talks we consider other problems related to probabilistic systems that do not fit in the previous categories.[[start|Back to Start page]]
----
^Title ^ Authors ^ Reference Papers ^
|Operational versus Weakest Pre-expectation Semantics for the Probabilistic Guarded Command Language|F. Gretz, J.-P. Katoen, A. McIver|{{:Papers:wpe-semantics.pdf|paper}}|
|Commutativity of reducers|Chen et. al.	|{{:Papers:reducers.pdf|paper}}|
|Slicing probabilistic programs | Hur et. al. |{{:Papers:slicing.pdf|paper}}|