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

Research output: Book/ReportReportAcademic

21 Downloads (Pure)

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.
Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages18
Publication statusPublished - 7 Apr 2010

Publication series

NameCTIT Technical Report Series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.TR-CTIT-10-11
ISSN (Print)1381-3625

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

Cite this

Katoen, J. P., van de Pol, J. C., Stoelinga, M. I. A., & Timmer, M. (2010). A linear process-algebraic format for probabilistic systems with data (extended version). (CTIT Technical Report Series; No. TR-CTIT-10-11). Enschede: Centre for Telematics and Information Technology (CTIT).
Katoen, Joost P. ; van de Pol, Jan Cornelis ; Stoelinga, Mariëlle Ida Antoinette ; Timmer, Mark. / A linear process-algebraic format for probabilistic systems with data (extended version). Enschede : Centre for Telematics and Information Technology (CTIT), 2010. 18 p. (CTIT Technical Report Series; TR-CTIT-10-11).
@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 = "4",
day = "7",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-10-11",
address = "Netherlands",

}

Katoen, JP, van de Pol, JC, Stoelinga, MIA & Timmer, M 2010, A linear process-algebraic format for probabilistic systems with data (extended version). CTIT Technical Report Series, no. TR-CTIT-10-11, Centre for Telematics and Information Technology (CTIT), Enschede.

A linear process-algebraic format for probabilistic systems with data (extended version). / Katoen, Joost P.; van de Pol, Jan Cornelis; Stoelinga, Mariëlle Ida Antoinette; Timmer, Mark.

Enschede : Centre for Telematics and Information Technology (CTIT), 2010. 18 p. (CTIT Technical Report Series; No. TR-CTIT-10-11).

Research output: Book/ReportReportAcademic

TY - BOOK

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

AU - Katoen, Joost P.

AU - van de Pol, Jan Cornelis

AU - Stoelinga, Mariëlle Ida Antoinette

AU - Timmer, Mark

N1 - eemcs-eprint-17778

PY - 2010/4/7

Y1 - 2010/4/7

N2 - 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.

AB - 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.

KW - IR-70900

KW - Probabilistic process algebra

KW - EWI-17778

KW - EC Grant Agreement nr.: FP7-ICT-2007-1

KW - Symbolic transformations

KW - METIS-270782

KW - Linearisation

KW - Data-dependent probabilistic choice

KW - EC Grant Agreement nr.: FP7/214755

M3 - Report

T3 - CTIT Technical Report Series

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

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

Katoen JP, van de Pol JC, Stoelinga MIA, Timmer M. A linear process-algebraic format for probabilistic systems with data (extended version). Enschede: Centre for Telematics and Information Technology (CTIT), 2010. 18 p. (CTIT Technical Report Series; TR-CTIT-10-11).