进程代数中的读操作符及其表达力
计算机科学中的逻辑
2011-08-24 v1 分布式、并行与集群计算
性能
摘要
我们研究了通过非阻塞读动作增强 PAFAS（一种用于建模异步时间并发系统的进程代数）的两种不同方法。我们首先以读动作前缀操作符的形式加入读操作。该操作符非常灵活，但其略显复杂的语义需要两种类型的迁移关系。我们还提出了一种具有更简单语义但带有语法限制的读集前缀操作符。我们讨论了读前缀的表达力；特别地，我们将它们与 Petri 网中的读弧进行了比较，并通过证明第二种变体的进程可以翻译为具有时间互模拟行为的第一种变体的进程，来论证第二种变体简单语义的合理性。第一种代数是否比第二种代数更具表达力仍然是一个开放问题；我们给出了一些其自身就很有趣的定律，它们可以帮助寻找反向翻译。
引用
@article{arxiv.1108.4466,
title = {Read Operators and their Expressiveness in Process Algebras},
author = {Flavio Corradini and Maria Rita Di Berardini and Walter Vogler},
journal= {arXiv preprint arXiv:1108.4466},
year = {2011}
}
备注
In Proceedings EXPRESS 2011, arXiv:1108.4077