范·格拉贝克、罗伯特·扬 关于安全性和活性属性的最粗糙的先决条件。 （英语） 兹比尔1202.68268 Calude，Christian S.（编辑）等人，《理论计算机科学》。第六届IFIP工作组2.2国际会议，TCS 2010，作为世界计算机大会（WCC 2010）的一部分，于2010年9月20日至23日在澳大利亚布里斯班举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15239-9/hbk；978-3-442-15240-5/电子书）。IFIP《信息和通信技术进展》323、32-52（2010年）。 摘要：本文描述了标记转移系统上的最粗求精预序，这些预序是重命名和部分同步交错算子的预条件，并分别尊重所有安全性、活性和条件活性属性。关于整个系列，请参见[兹比尔1200.68003]. 引用于8文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 06A99号 有序集合 关键词：标记过渡系统 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Van Glabbeek}，IFIP高级信息通信。Technol公司。323，32-52（2010年；兹比尔1202.68268） 全文： DOI程序 arXiv公司