Completeness for Probabilistic Boolean Tapes.

Filippo Bonchi, Cipriano Junior Cioffo

Browse the full CONCUR paper archive.