A Complete Axiomatisation for Probabilistic Trace Equivalence

Ferry Timmers; Jan Friso Groote

doi:10.7561/SACS.2020.1.69

A Complete Axiomatisation for Probabilistic Trace Equivalence

Ferry Timmers (Corresponding author), Jan Friso Groote (Corresponding author)

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Scopus)

Abstract

We provide an axiomatisation for =_pTr , a variant of probabilistic trace equivalence as formulated by Bernardo et al., 2014, in the setting of the alternating model of Hansson. The equivalence considers traces individually instead of trace distributions. We show that our axiomatisation is sound and also complete for recursion-free sequential processes. Due to the nature of the trace equivalence, the axiomatisation is particularly complex.

Original language	English
Pages (from-to)	69-104
Number of pages	36
Journal	Scientific Annals of Computer Science
Volume	30
Issue number	1
DOIs	https://doi.org/10.7561/SACS.2020.1.69
Publication status	Published - 2020

Keywords

Complete ax-iomatisation
Probabilistic processes
Trace equivalence

Access to Document

10.7561/SACS.2020.1.69

Cite this

@article{2a2756df14424165b1c8f10cb1c7a537,

title = "A Complete Axiomatisation for Probabilistic Trace Equivalence",

abstract = "We provide an axiomatisation for =pTr , a variant of probabilistic trace equivalence as formulated by Bernardo et al., 2014, in the setting of the alternating model of Hansson. The equivalence considers traces individually instead of trace distributions. We show that our axiomatisation is sound and also complete for recursion-free sequential processes. Due to the nature of the trace equivalence, the axiomatisation is particularly complex.",

keywords = "Complete ax-iomatisation, Probabilistic processes, Trace equivalence",

author = "Ferry Timmers and Groote, {Jan Friso}",

year = "2020",

doi = "10.7561/SACS.2020.1.69",

language = "English",

volume = "30",

pages = "69--104",

journal = "Scientific Annals of Computer Science",

issn = "1843-8121",

publisher = "Alexandru Ioan Cuza - University of Iasi",

number = "1",

}

TY - JOUR

T1 - A Complete Axiomatisation for Probabilistic Trace Equivalence

AU - Timmers, Ferry

AU - Groote, Jan Friso

PY - 2020

Y1 - 2020

N2 - We provide an axiomatisation for =pTr , a variant of probabilistic trace equivalence as formulated by Bernardo et al., 2014, in the setting of the alternating model of Hansson. The equivalence considers traces individually instead of trace distributions. We show that our axiomatisation is sound and also complete for recursion-free sequential processes. Due to the nature of the trace equivalence, the axiomatisation is particularly complex.

AB - We provide an axiomatisation for =pTr , a variant of probabilistic trace equivalence as formulated by Bernardo et al., 2014, in the setting of the alternating model of Hansson. The equivalence considers traces individually instead of trace distributions. We show that our axiomatisation is sound and also complete for recursion-free sequential processes. Due to the nature of the trace equivalence, the axiomatisation is particularly complex.

KW - Complete ax-iomatisation

KW - Probabilistic processes

KW - Trace equivalence

UR - http://www.scopus.com/inward/record.url?scp=85089678460&partnerID=8YFLogxK

U2 - 10.7561/SACS.2020.1.69

DO - 10.7561/SACS.2020.1.69

M3 - Article

SN - 1843-8121

VL - 30

SP - 69

EP - 104

JO - Scientific Annals of Computer Science

JF - Scientific Annals of Computer Science

IS - 1

ER -

A Complete Axiomatisation for Probabilistic Trace Equivalence

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this