A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time
复制标题
DOI：
10.1016/s0304-3975(97)00127-8
复制
发表时间：
1998-07
期刊：
影响因子：
--
通讯作者：
M. Bernardo;R. Gorrieri
中科院分区：
文献类型：
--
作者：
M. Bernardo;R. Gorrieri
在本教程中，我们将概述进程代数EMPA，这是一种演算，旨在建模和分析现实世界并发系统的特性，如不确定性，优先级，概率和时间，并特别强调性能评估。本教程的目的是解释EMPA开发背后的设计选择，以及上述四个功能如何相互作用，并表明微积分的表达能力和其基础理论的复杂性之间的合理权衡已经实现。
In this tutorial we give an overview of the process algebra EMPA, a calculus devised in order to model and analyze features of real-world concurrent systems such as nondeterminism, priorities, probabilities and time, with a particular emphasis on performance evaluation. The purpose of this tutorial is to explain the design choices behind the development of EMPA and how the four features above interact, and to show that a reasonable trade off between the expressive power of the calculus and the complexity of its underlying theory has been achieved.