Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

17778 A linear process-algebraic format for probabilistic systems with data (extended version)
Home Policy Brochure Browse Search User Area Contact Help

Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010) A linear process-algebraic format for probabilistic systems with data (extended version). Technical Report TR-CTIT-10-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Full text available as:


469 Kb
Open Access

Exported to Metis


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.

Item Type:Internal Report (Technical Report)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:SYRUP: SYmbolic RedUction of Probabilistic Models, Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems, ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Uncontrolled Keywords:probabilistic process algebra, linearisation, data-dependent probabilistic choice, symbolic transformations
ID Code:17778
Deposited On:14 April 2010
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item