Open AccessThe Theory of Traces for Systems with Nondeterminism and Probability
Author(s) -
Bonchi, Filippo,
Sokolova, Ana,
Vignudelli, Valeria
Publication year - 2019
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science