Algebraic Reasoning for Probabilistic and Real-Time Concurrent Systems

现实生活中的流程以概率方式运行，并实时执行。该项目将开发基于进程代数的技术和软件工具，用于对并发系统的概率和实时方面进行推理。O概率过程的测试预序-基于过程以一定概率通过测试的自然概念的概率过程的测试预序将被扩展，O公理概率过程--进程代数ACP在概率环境下的推广，构成了有限过程概率互模拟的完全公理。工作将继续，考虑语言中的递归，其中内部动作被抽象出来的概率互模拟的弱版本，以及概率过程的分层模型。O概率和实时过程的集成模型-研究将遵循双重方法开发分析概率和实时系统的技术，以集成的方式将时间引入概率测试前序和ACP的概率扩展。一个主要的结果将是一套用于代数分析系统可靠性和性能的设计工具。人们可以使用该设计环境将该方法应用于大量的实际例子，例如通信协议和分布式资源分配算法。

Real-life processes behave probabilistically and execute in real- time. This project will develop process algebra-based techniques and software tools for reasoning about probabilistic and real-time aspects of concurrent systems. o Testing Preorders for Probabilistic Processes - Testing preorders for probabilistic processes based on the natural notion of a process passing a test with a certain probability will be extended , and o Axiomatizing Probabilistic Processes - An extension of the process algebra ACP to the probabilistic setting constitutes a complete axiomatization of probabilistic bisimulation for finite process. Work will continue by considering recursion in the language, a weak version of probabilistic bisimulation in which internal actions are abstracted away, and the stratified model of probabilistic processes. o Integrated Models of Probabilistic and Real-Time Processes - The research will follow a dual approach to developing techniques for analyzing probabilistic and real-time systems by introducing time, in an integrated manner, into probabilistic testing preorders and into probabilistic extension of ACP. A major outgrowth will be a suite of design tools for analyzing algebraically the reliability and performance of systems. One can use this design environment to apply the methodology to substantive realistic examples, such as communication protocols and distributed resource allocation algorithms.