A linear process-algebraic format for probabilistic systems with data (extended version)

Share/Save/Bookmark

Katoen, Joost-Pieter and Pol van de, Jaco and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process-algebraic format for probabilistic systems with data (extended version). [Report]

[img]
Preview
PDF
468Kb
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.
Item Type:Report
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/70900
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 270782