Probabilistic Barbed Congruence

Yuxin Deng; Wenjie Du

doi:10.1016/j.entcs.2007.07.011

Probabilistic Barbed Congruence

Yuxin Deng^*
, Wenjie Du

^*Corresponding author for this work

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

12 Scopus citations

Abstract

This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence result, we provide a sound and complete axiomatisation for the barbed congruence in a finite fragment of probabilistic CCS.

Original language	English
Pages (from-to)	185-203
Number of pages	19
Journal	Electronic Notes in Theoretical Computer Science
Volume	190
Issue number	3
DOIs	https://doi.org/10.1016/j.entcs.2007.07.011
State	Published - 6 Sep 2007
Externally published	Yes

Keywords

Axiomatisation
Barbed congruence
Observational equivalence
Probabilistic process calculus

Access to Document

10.1016/j.entcs.2007.07.011

Cite this

@article{98b55896258c4bff9afecfb95960f472,

title = "Probabilistic Barbed Congruence",

abstract = "This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence result, we provide a sound and complete axiomatisation for the barbed congruence in a finite fragment of probabilistic CCS.",

keywords = "Axiomatisation, Barbed congruence, Observational equivalence, Probabilistic process calculus",

author = "Yuxin Deng and Wenjie Du",

year = "2007",

month = sep,

day = "6",

doi = "10.1016/j.entcs.2007.07.011",

language = "英语",

volume = "190",

pages = "185--203",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - Probabilistic Barbed Congruence

AU - Deng, Yuxin

AU - Du, Wenjie

PY - 2007/9/6

Y1 - 2007/9/6

N2 - This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence result, we provide a sound and complete axiomatisation for the barbed congruence in a finite fragment of probabilistic CCS.

AB - This paper defines a probabilistic barbed congruence which turns out to coincide with observational equivalence in a probabilistic extension of CCS. Based on this coincidence result, we provide a sound and complete axiomatisation for the barbed congruence in a finite fragment of probabilistic CCS.

KW - Axiomatisation

KW - Barbed congruence

KW - Observational equivalence

KW - Probabilistic process calculus

UR - https://www.scopus.com/pages/publications/34548260270

U2 - 10.1016/j.entcs.2007.07.011

DO - 10.1016/j.entcs.2007.07.011

M3 - 文章

AN - SCOPUS:34548260270

SN - 1571-0661

VL - 190

SP - 185

EP - 203

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

ER -

Probabilistic Barbed Congruence

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this