Extended Markovian Process Algebra.

Marco Bernardo, Roberto Gorrieri

Browse the full CONCUR paper archive.