作者
V Natarajan, Rance Cleaveland
发表日期
1995/7/10
图书
International Colloquium on Automata, Languages, and Programming
页码范围
648-659
出版商
Springer Berlin Heidelberg
简介
This paper develops a new testing-based semantic theory of processes that aims to circumvent difficulties that traditional testing/failures theories have in dealing with divergent behavior. Our framework incorporates a notion of fairness into the determination of when a process passes a test; we contrast this definition with existing approaches and give characterizations of the induced semantic preorders. An example highlights the utility of our results.
引用总数
学术搜索中的文章
V Natarajan, R Cleaveland - International Colloquium on Automata, Languages …, 1995