Analysis of Probabilistic Basic Parallel Processes.

Rmi Bonnet, Stefan Kiefer, Anthony Widjaja Lin

Browse the full FOSSACS paper archive.