×

描述有限概率过程的测试预订单。 (英语) Zbl 1161.68035号

小结:1992年,Wang&Larsen将De Nicola和Hennessy的“可能”和“必须”预订单扩展到具有概率和非确定性选择的流程。他们最后提出了两个多年来一直悬而未决的问题,即为这些预订单寻找完整的公理化和替代特征。本文解决了具有静默运动的有限过程的这两个问题。它在模拟方面描述了可能的预订单,而在故障模拟方面则描述了必须的预订单。它还使用模态逻辑给出了两个预订单的特征。最后,它公理化了CSP的概率版本上的两个预订单。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部