并发策略的“可能”与“必然”行为
计算机科学中的逻辑
2021-08-25 v1 编程语言
摘要
本文从传统进程演算中“可能”与“必然”测试的视角，考察了基于事件结构的并发策略。在其纯粹形式下，并发策略无法暴露其组合中可能出现的死锁与发散。这促使我们对并发策略双范畴进行扩展，以处理策略在测试下的“可能”与“必然”行为。一种扩展将中性动作附加到策略上，但这样做会丢失关于组合的恒等性。这反过来又促使了另一种扩展，其中并发策略伴随着停止配置；由此产生的停止策略从策略那里继承了双范畴的结构。这些技术发展最终汇聚在一起，提供了对策略上“可能”与“必然”等价关系及预序关系的刻画。
引用
@article{arxiv.2108.10558,
title = {The Mays and Musts of Concurrent Strategies},
author = {Simon Castellan and Pierre Clairambault and Glynn Winskel},
journal= {arXiv preprint arXiv:2108.10558},
year = {2021}
}