概率论起源于十七世纪中叶。在1654年,德梅雷(de Mere)爵士向他的朋友、法国数学家巴斯卡(Pascal)提出了著名的“点问题”(The problem of the points)。巴斯卡在解决这一难题的过程中,跟法国著名数学家费尔马(Fermat)进行了通信讨论,...概率论起源于十七世纪中叶。在1654年,德梅雷(de Mere)爵士向他的朋友、法国数学家巴斯卡(Pascal)提出了著名的“点问题”(The problem of the points)。巴斯卡在解决这一难题的过程中,跟法国著名数学家费尔马(Fermat)进行了通信讨论,他们不仅完全解决了分点的问题。展开更多
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 sys...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.展开更多
文摘概率论起源于十七世纪中叶。在1654年,德梅雷(de Mere)爵士向他的朋友、法国数学家巴斯卡(Pascal)提出了著名的“点问题”(The problem of the points)。巴斯卡在解决这一难题的过程中,跟法国著名数学家费尔马(Fermat)进行了通信讨论,他们不仅完全解决了分点的问题。
基金the National Basic Research Program (973) of China (No.2003CB317005)the National Nature Science Foundation of China (Nos.60573002 and 60703033)
文摘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.
