Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract).

Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka

Browse the full CONCUR paper archive.