Finite axiomatization for symbolic probabilistic π-calculus

Lei Song; Yu Xin Deng

doi:10.1007/s12204-009-0536-y

Finite axiomatization for symbolic probabilistic π-calculus

Lei Song^*, Yu Xin Deng

^*Corresponding author for this work

Shanghai Jiao Tong University

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

Abstract

This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu, Palamidessi and Lin. We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness. This is the first work, to our knowledge, that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.

Original language	English
Pages (from-to)	536-541
Number of pages	6
Journal	Journal of Shanghai Jiaotong University (Science)
Volume	14
Issue number	5
DOIs	https://doi.org/10.1007/s12204-009-0536-y
State	Published - Oct 2009
Externally published	Yes

Keywords

Axiomatization
Probabilistic process calculus
Symbolic bisimulation

Access to Document

10.1007/s12204-009-0536-y

Cite this

@article{987cc84eb85b44af91b27dcb5f1fea11,

title = "Finite axiomatization for symbolic probabilistic π-calculus",

abstract = "This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu, Palamidessi and Lin. We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness. This is the first work, to our knowledge, that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.",

keywords = "Axiomatization, Probabilistic process calculus, Symbolic bisimulation",

author = "Lei Song and Deng, \{Yu Xin\}",

year = "2009",

month = oct,

doi = "10.1007/s12204-009-0536-y",

language = "英语",

volume = "14",

pages = "536--541",

journal = "Journal of Shanghai Jiaotong University (Science)",

issn = "1007-1172",

publisher = "Shanghai Jiaotong University",

number = "5",

}

TY - JOUR

T1 - Finite axiomatization for symbolic probabilistic π-calculus

AU - Song, Lei

AU - Deng, Yu Xin

PY - 2009/10

Y1 - 2009/10

N2 - This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu, Palamidessi and Lin. We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness. This is the first work, to our knowledge, that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.

AB - This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu, Palamidessi and Lin. We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness. This is the first work, to our knowledge, that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.

KW - Axiomatization

KW - Probabilistic process calculus

KW - Symbolic bisimulation

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

U2 - 10.1007/s12204-009-0536-y

DO - 10.1007/s12204-009-0536-y

M3 - 文章

AN - SCOPUS:70350599565

SN - 1007-1172

VL - 14

SP - 536

EP - 541

JO - Journal of Shanghai Jiaotong University (Science)

JF - Journal of Shanghai Jiaotong University (Science)

IS - 5

ER -

Finite axiomatization for symbolic probabilistic π-calculus

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this