Testing Equivalences and Fully Abstract Models for Probabilistic Processes.

Ivan Christoff

Browse the full CONCUR paper archive.