@book{1d4dfc53dbd44bd2ab7902417d006bb3,
title = "A linear process-algebraic format for probabilistic systems with data (extended version)",
abstract = "This paper presents a novel linear process-algebraic format for probabilistic automata. The key ingredient is a symbolic transformation of probabilistic process algebra terms that incorporate data into this linear format while preserving strong probabilistic bisimulation. This generalises similar techniques for traditional process algebras with data, and - more importantly - treats data and data-dependent probabilistic choice in a fully symbolic manner, paving the way to the symbolic analysis of parameterised probabilistic systems.",
keywords = "IR-70900, Probabilistic process algebra, EWI-17778, EC Grant Agreement nr.: FP7-ICT-2007-1, Symbolic transformations, METIS-270782, Linearisation, Data-dependent probabilistic choice, EC Grant Agreement nr.: FP7/214755",
author = "Katoen, {Joost P.} and {van de Pol}, {Jan Cornelis} and Stoelinga, {Mari{\"e}lle Ida Antoinette} and Mark Timmer",
note = "eemcs-eprint-17778 ",
year = "2010",
month = apr,
day = "7",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-10-11",
address = "Netherlands",
}