Compositional reasoning for probabilistic finite-state behaviors

Yuxin Deng; Catuscia Palamidessi; Jun Pang

doi:10.1007/11601548_17

Compositional reasoning for probabilistic finite-state behaviors

Yuxin Deng^*
, Catuscia Palamidessi
, Jun Pang

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

19 Scopus citations

Abstract

We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch's simple probabilistic automata. We consider strong bisimulation and observational equivalence, and provide complete axiomatizations for a language that includes parallel composition and (guarded) recursion. The presence of the parallel composition introduces various technical difficulties and some restrictions are necessary in order to achieve complete axiomatizations.

Original language	English
Title of host publication	Processes, Terms and Cycles
Subtitle of host publication	Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Publisher	Springer Verlag
Pages	309-337
Number of pages	29
ISBN (Print)	354030911X, 9783540309116
DOIs	https://doi.org/10.1007/11601548_17
State	Published - 2005
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3838 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/11601548_17

Cite this

Deng, Y., Palamidessi, C., & Pang, J. (2005). Compositional reasoning for probabilistic finite-state behaviors. In Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday (pp. 309-337). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3838 LNCS). Springer Verlag. https://doi.org/10.1007/11601548_17

Deng, Yuxin ; Palamidessi, Catuscia ; Pang, Jun. / Compositional reasoning for probabilistic finite-state behaviors. Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Springer Verlag, 2005. pp. 309-337 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{634c1223fc1b48babe60b173dddf4386,

title = "Compositional reasoning for probabilistic finite-state behaviors",

abstract = "We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch's simple probabilistic automata. We consider strong bisimulation and observational equivalence, and provide complete axiomatizations for a language that includes parallel composition and (guarded) recursion. The presence of the parallel composition introduces various technical difficulties and some restrictions are necessary in order to achieve complete axiomatizations.",

author = "Yuxin Deng and Catuscia Palamidessi and Jun Pang",

year = "2005",

doi = "10.1007/11601548\_17",

language = "英语",

isbn = "354030911X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "309--337",

booktitle = "Processes, Terms and Cycles",

address = "德国",

}

Deng, Y, Palamidessi, C & Pang, J 2005, Compositional reasoning for probabilistic finite-state behaviors. in Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3838 LNCS, Springer Verlag, pp. 309-337. https://doi.org/10.1007/11601548_17

Compositional reasoning for probabilistic finite-state behaviors. / Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun.
Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Springer Verlag, 2005. p. 309-337 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3838 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Compositional reasoning for probabilistic finite-state behaviors

AU - Deng, Yuxin

AU - Palamidessi, Catuscia

AU - Pang, Jun

PY - 2005

Y1 - 2005

N2 - We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch's simple probabilistic automata. We consider strong bisimulation and observational equivalence, and provide complete axiomatizations for a language that includes parallel composition and (guarded) recursion. The presence of the parallel composition introduces various technical difficulties and some restrictions are necessary in order to achieve complete axiomatizations.

AB - We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch's simple probabilistic automata. We consider strong bisimulation and observational equivalence, and provide complete axiomatizations for a language that includes parallel composition and (guarded) recursion. The presence of the parallel composition introduces various technical difficulties and some restrictions are necessary in order to achieve complete axiomatizations.

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

U2 - 10.1007/11601548_17

DO - 10.1007/11601548_17

M3 - 章节

AN - SCOPUS:33847285716

SN - 354030911X

SN - 9783540309116

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 309

EP - 337

BT - Processes, Terms and Cycles

PB - Springer Verlag

ER -

Deng Y, Palamidessi C, Pang J. Compositional reasoning for probabilistic finite-state behaviors. In Processes, Terms and Cycles: Steps on the Road to Infinity - Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Springer Verlag. 2005. p. 309-337. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11601548_17

Compositional reasoning for probabilistic finite-state behaviors

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this