A Complete Axiomatisation for Probabilistic Trace Equivalence

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

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (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 languageEnglish
Pages (from-to)69-104
Number of pages36
JournalScientific Annals of Computer Science
Volume30
Issue number1
DOIs
Publication statusPublished - 2020

Keywords

  • Complete ax-iomatisation
  • Probabilistic processes
  • Trace equivalence

Fingerprint

Dive into the research topics of 'A Complete Axiomatisation for Probabilistic Trace Equivalence'. Together they form a unique fingerprint.

Cite this