A Complete Inference System for Probabilistic Infinite Trace Equivalence.

Corina Crstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova

Browse the full CSL paper archive.