论通信模型变更时性质的保持
计算机科学中的逻辑
2022-10-13 v1
摘要
在一个通过 FIFO 信道异步通信的进程系统中，这些信道的布局方式有多种选项。本文基于信道的拆分与合并所诱导的序，比较不同信道布局对系统行为的影响。该序诱导出一种模拟关系，由此可得安全性质的保持。此外，我们确定了在变更信道布局时可达性、无死锁与合流性质得以保持的条件。
引用
@article{arxiv.2210.06196,
title = {On the Preservation of Properties when Changing Communication Models},
author = {Olav Bunte and Louis C. M. van Gool and Tim A. C. Willemse},
journal= {arXiv preprint arXiv:2210.06196},
year = {2022}
}