Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach.

Joost-Pieter Katoen, Rom Langerak, Diego Latella

Browse the full FORTE paper archive.