Processes with probabilities, priority and time
Processes with probabilities, priority and time
复制标题
具有概率、优先级和时间的流程
DOI：
--
复制
发表时间：
1994
影响因子：
1
通讯作者：
C. Tofts
中科院分区：
文献类型：
--
作者：
C. Tofts
在Milner的SCCS的基础上，提出了一种概率演算WSCCS。我们定义了概率过程的互模拟的概念，并证明了它是同余的。证明了一个简单的方程刻画对于有限过程是合理的和完备的。我们给出了许多例子，包括一些扩展的例子。较大的例子既显示了WSCCS的表达能力，也显示了一些复杂系统的简单证明方法的有效性。
A probabilistic calculus, derived from Milner's SCCS, WSCCS is presented. We define a notion of bisimulation for probabilistic processes and show that it is a congruence. A simple equational characterisation is shown to be both sound and complete for finite processes. We present many examples including some extended ones. The larger examples show both the expressive power of WSCCS and the availability of simple proof methods for some complex systems.