计算中的时间建模：分类和比较调查
摘要：计算机科学领域以及传统工程领域越来越关注计算的时间因素。本文综述了计算机系统的时间特征的形式建模和分析的各种方法，详细程度适合非专业人士阅读。在这样做的过程中，本文提供了一个统一的框架，而不仅仅是一个全面的形式列表。本文首先介绍了一些关键维度，可以评估和比较各种形式建模方法。随后，根据这些维度，介绍和讨论了计算中的时间建模的多种形式方法。所采用的视角在一定程度上是历史的，从“传统”的模型和形式到更现代的模型。
作者：Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
论文ID：0807.4132
分类：General Literature
分类简称：cs.GL
提交时间：2013-08-15