Login / Signup

The Theory of Traces for Systems with Nondeterminism and Probability.

Filippo BonchiAna SokolovaValeria Vignudelli
Published in: LICS (2019)
Keyphrases