References. Algebre Categoriali di Relazioni con Fallimento (Stefani, supervised by Bonchi, Di Lavore) The Theory of Traces for Systems with Nondeterminism, Probability, and Termination (Bonchi, Sokolova, Vignudelli, 2020)
