Process Algebra with Partial Choice.

Jos C. M. Baeten, Jan A. Bergstra

Browse the full CONCUR paper archive.