Algebraic Reasoning for Probabilistic and Real-Time Concurrent Systems

现实生活中的进程是概率性的，并且是实时执行的。该项目将开发基于过程代数的技术和软件工具，用于推理并发系统的概率和实时方面。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.