A linear process-algebraic format for probabilistic systems with data

Joost P. Katoen; Jan Cornelis van de Pol; Mariëlle Ida Antoinette Stoelinga; Mark Timmer

doi:10.1109/ACSD.2010.18

A linear process-algebraic format for probabilistic systems with data

Joost P. Katoen, Jan Cornelis van de Pol, Mariëlle Ida Antoinette Stoelinga, Mark Timmer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

365 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 language	Undefined
Title of host publication	Application of Concurrency to System Design, Tenth International Conference on
Editors	L. Gomes, V. Khomenko, J.M. Fernandes
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	213-222
Number of pages	10
ISBN (Print)	978-0-7695-4066-5
DOIs	https://doi.org/10.1109/ACSD.2010.18
Publication status	Published - Jun 2010
Event	10th International Conference on Application of Concurrency to System Design, ACSD 2010 - Braga, Portugal Duration: 21 Jun 2010 → 25 Jun 2010 Conference number: 10

Publication series

Name
Publisher	IEEE Computer Society Press
ISSN (Print)	1550-4808

Conference

Conference	10th International Conference on Application of Concurrency to System Design, ACSD 2010
Abbreviated title	ACSD
Country/Territory	Portugal
City	Braga
Period	21/06/10 → 25/06/10

Keywords

METIS-270919
IR-72425
Probabilistic process algebra
Linearisation
Data-dependent probabilistic choice
EC Grant Agreement nr.: FP7/214755
EWI-18161
symbolic transformation
Probabilistic automata
FMT-PA: PROCESS ALGEBRAS
FMT-PM: PROBABILISTIC METHODS
CR-F.4
EC Grant Agreement nr.: FP7-ICT-2007-1

Access to Document

10.1109/ACSD.2010.18

Cite this

@inproceedings{782f220650c34ad8beaf703163de93e5,

title = "A linear process-algebraic format for probabilistic systems with data",

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 = "METIS-270919, IR-72425, Probabilistic process algebra, Linearisation, Data-dependent probabilistic choice, EC Grant Agreement nr.: FP7/214755, EWI-18161, symbolic transformation, Probabilistic automata, FMT-PA: PROCESS ALGEBRAS, FMT-PM: PROBABILISTIC METHODS, CR-F.4, EC Grant Agreement nr.: FP7-ICT-2007-1",

author = "Katoen, {Joost P.} and {van de Pol}, {Jan Cornelis} and Stoelinga, {Mari{\"e}lle Ida Antoinette} and Mark Timmer",

note = "See also the extended version, CTIT report TR-CTIT-10-11, http://eprints.eemcs.utwente.nl/17778/; 10th International Conference on Application of Concurrency to System Design, ACSD 2010 ; Conference date: 21-06-2010 Through 25-06-2010",

year = "2010",

month = jun,

doi = "10.1109/ACSD.2010.18",

language = "Undefined",

isbn = "978-0-7695-4066-5",

publisher = "IEEE",

pages = "213--222",

editor = "L. Gomes and V. Khomenko and J.M. Fernandes",

booktitle = "Application of Concurrency to System Design, Tenth International Conference on",

address = "United States",

}

Katoen, JP , van de Pol, JC , Stoelinga, MIA & Timmer, M 2010, A linear process-algebraic format for probabilistic systems with data. in L Gomes, V Khomenko & JM Fernandes (eds), Application of Concurrency to System Design, Tenth International Conference on., 10.1109/ACSD.2010.18, IEEE, Los Alamitos, pp. 213-222, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21/06/10. https://doi.org/10.1109/ACSD.2010.18

A linear process-algebraic format for probabilistic systems with data. / Katoen, Joost P.; van de Pol, Jan Cornelis ; Stoelinga, Mariëlle Ida Antoinette et al.
Application of Concurrency to System Design, Tenth International Conference on. ed. / L. Gomes; V. Khomenko; J.M. Fernandes. Los Alamitos: IEEE, 2010. p. 213-222 10.1109/ACSD.2010.18.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Katoen, Joost P.

AU - van de Pol, Jan Cornelis

AU - Stoelinga, Mariëlle Ida Antoinette

AU - Timmer, Mark

N1 - Conference code: 10

PY - 2010/6

Y1 - 2010/6

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 - METIS-270919

KW - IR-72425

KW - Probabilistic process algebra

KW - Linearisation

KW - Data-dependent probabilistic choice

KW - EC Grant Agreement nr.: FP7/214755

KW - EWI-18161

KW - symbolic transformation

KW - Probabilistic automata

KW - FMT-PA: PROCESS ALGEBRAS

KW - FMT-PM: PROBABILISTIC METHODS

KW - CR-F.4

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

U2 - 10.1109/ACSD.2010.18

DO - 10.1109/ACSD.2010.18

M3 - Conference contribution

SN - 978-0-7695-4066-5

SP - 213

EP - 222

BT - Application of Concurrency to System Design, Tenth International Conference on

A2 - Gomes, L.

A2 - Khomenko, V.

A2 - Fernandes, J.M.

PB - IEEE

CY - Los Alamitos

T2 - 10th International Conference on Application of Concurrency to System Design, ACSD 2010

Y2 - 21 June 2010 through 25 June 2010

ER -