尊重安全性和活性性质的最粗预同余关系
计算机科学中的逻辑
2018-12-31 v2
摘要
本文刻画了标记转换系统上最粗的精化预序，这些预序对于重命名和部分同步交错算子而言是预同余关系，并且分别尊重所有安全性、活性和条件活性性质。
引用
@article{arxiv.1007.5491,
title = {The Coarsest Precongruences Respecting Safety and Liveness Properties},
author = {Rob van Glabbeek},
journal= {arXiv preprint arXiv:1007.5491},
year = {2018}
}
备注
2018: A reference to Lamport has been corrected into one to Alpern & Schneider