A complete axiom system for finite-state probabilistic processes

A complete axiom system for finite-state probabilistic processes
复制标题

DOI：
10.7551/mitpress/5641.003.0027
复制
发表时间：
2000-07
期刊：
--
影响因子：
--
通讯作者：
E. W. Stark;S. Smolka
E. W. Stark;S. Smolka
中科院分区：
其他
文献类型：
--
作者：
E. W. Stark;S. Smolka

文献摘要

被引文献

相似文献

给出了纯态概率过程概率互模拟的一个完整的公理化方程。它推广了米尔纳的完全公理化
A complete equational axiomatization of probabilistic bisimulation for nite-state probabilistic processes is presented. It extends Milner's complete axiomatiza