Time Abstracted Bisimiulation: Implicit Specifications and Decidability
Time Abstracted Bisimiulation: Implicit Specifications and Decidability
复制标题
时间抽象双模拟：隐式规范和可判定性
DOI：
10.1007/3-540-58027-1_8
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
W. Yi
中科院分区：
文献类型：
--
作者：
K. Larsen;W. Yi
在过去的几年中，出现了许多实时过程计算，其目的是捕获实时系统的重要定量方面。此外，还提出了许多对时间量敏感的过程等价，其中[RR86、DS89、HR91、BB89、NRSV90、MT90、Wan91b]中的定时（双模拟）等价概念。
In the last few years a number of real-time process calculi have emerged with the purpose of capturing important quantitative aspects of real-time systems. In addition, a number of process equivalences sensitive to time-quantities have been proposed, among these the notion of timed (bisimulation) equivalence in [RR86, DS89, HR91, BB89, NRSV90, MT90, Wan91b].