A Complete Axiomatisation for Probabilistic Trace Equivalence.

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Samenvatting

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.
Originele taal-2Engels
Pagina's (van-tot)69-104
Aantal pagina's36
TijdschriftScientific Annals of Computer Science
Volume30
Nummer van het tijdschrift1
DOI's
StatusGepubliceerd - 2020

Vingerafdruk Duik in de onderzoeksthema's van 'A Complete Axiomatisation for Probabilistic Trace Equivalence.'. Samen vormen ze een unieke vingerafdruk.

Citeer dit