Integrated analysis of concurrent distributed systems using Markovian process algebra.

Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri

Browse the full FORTE paper archive.