A Process Algebra for Timed Systems
A Process Algebra for Timed Systems
复制标题
定时系统的过程代数
DOI：
--
复制
发表时间：
1995
影响因子：
1
通讯作者：
Tim Regan
中科院分区：
文献类型：
--
作者：
M. Hennessy;Tim Regan
标准过程代数是通过新操作扩展的吗？这是为了表示空转，直到下一个时钟周期。为新语言开发了基于测试的语义理论。这是根据倒钩，各种现成的痕迹来表征的，也将其特征在于一组方程生成的初始理论。
A standard process algebra is extended by a new action ? which is meant to denote idling until the next clock cycle. A semantic theory based on testing is developed for the new language. This is characterised in terms of barbs, a variety of ready traces and also characterised as the initial theory generated by a set of equations.