过程的奖励测试等价
计算机科学中的逻辑
2019-08-01 v1
摘要
May 测试与 must 测试由 De Nicola 和 Hennessy 引入,用以定义过程的语义等价。May 测试等价精确刻画安全(safety)性质,must 测试等价刻画活性(liveness)性质。本文提出奖励测试(reward testing),并表明由此得到的语义等价也刻画条件活性性质。它严格细于 may 测试等价与 must 测试等价两者。
引用
@article{arxiv.1907.13348,
title = {Reward Testing Equivalences for Processes},
author = {Rob van Glabbeek},
journal= {arXiv preprint arXiv:1907.13348},
year = {2019}
}
备注
This paper is dedicated to Rocco De Nicola, on the occasion of his 65th birthday. Rocco's work has been a source of inspiration to my own