The following paper has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming:

Back to the Format: A Survey on SOS for Probabilistic Processes, by Valentina Castiglioni, Ruggero Lanotte (University of Insubria, Italy), and Simone Tini (University of Insubria, Italy).