arXiv 1007.54912010-07cs.LO

尊重安全性和活性性质的最粗预同余

The Coarsest Precongruences Respecting Safety and Liveness Properties

Rob van Glabbeek

备注：: 2018: A reference to Lamport has been corrected into one to Alpern & Schneider
发表信息：: Proceedings TCS 2010, IFIP AICT 323, September 2010 (C.S. Calude & V. Sassone, eds.), Springer, pp. 32-52
DOI：: 10.1007/978-3-642-15240-5_3

阅读 PDF

arXiv 页面 ↗HTML 原文 ↗

摘要：

本文刻画了标记转移系统上的粗加细前序，这些前序是重命名算子和部分同步交织算子的预同余，并且分别尊重所有的安全性、活性和条件活性性质。

英文摘要：

This paper characterises the coarsest refinement preorders on labelled transition systems that are precongruences for renaming and partially synchronous interleaving operators, and respect all safety, liveness, and conditional liveness properties, respectively.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。