EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

18161 A linear process-algebraic format for probabilistic systems with data

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. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 213-222. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5

Full text available as:

	PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 406 Kb
	PDF (Publisher's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 505 Kb

Official URL: http://dx.doi.org/10.1109/ACSD.2010.18

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:	Conference or Workshop Paper (Full Paper, Talk)
Research Group:	EWI-FMT: Formal Methods and Tools
Research Program:	CTIT-DSN: Dependable Systems and Networks
Research Project:	Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems, SYRUP: SYmbolic RedUction of Probabilistic Models, ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Additional Information:	See also the extended version, CTIT report TR-CTIT-10-11, http://eprints.eemcs.utwente.nl/17778/
Uncontrolled Keywords:	probabilistic process algebra, linearisation, data-dependent probabilistic choice, symbolic transformation, probabilistic automata
ID Code:	18161
Status:	Published
Deposited On:	22 July 2010
Refereed:	Yes
International:	Yes
More Information:	statistics metis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item