Concurrent strategies based on event structures are examined from the viewpoint of 'may' and 'must' testing in traditional process calculi. In their pure form concurrent strategies fail to expose the deadlocks and divergences that can arise in their composition. This motivates an extension of the bicategory of concurrent strategies to treat the 'may' and 'must' behaviour of strategies under testing. One extension adjoins neutral moves to strategies but in so doing loses identities w.r.t. composition. This in turn motivates another extension in which concurrent strategies are accompanied by stopping configurations; the ensuing stopping strategies inherit the structure of a bicategory from that of strategies. The technical developments converge in providing characterisations of the 'may' and 'must' equivalences and preorders on strategies.
翻译：基于事件结构的并行战略从传统过程计算“ may” 和“ must” 测试“ may” 的角度来审查传统过程计算法中的“ may” 和“ must” 测试。 纯粹形式的并行战略无法揭示其构成中可能出现的僵局和差异。 这促使同时战略的双类战略扩展, 以治疗正在测试的战略的“ may” 和“ must” 行为。 一种扩展与中性战略的中性动作相邻, 但却失去了身份 w.r. t. 构成。 这反过来又激励了另一种扩展, 即同时战略与停止配置相伴; 随后的停止战略从战略中继承了双类结构。 技术进展集中在提供“ may” 和“ must” 等同和战略的特性和预设。
相关内容
- Today (iOS and OS X): widgets for the Today view of Notification Center
- Share (iOS and OS X): post content to web services or share content with others
- Actions (iOS and OS X): app extensions to view or manipulate inside another app
- Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
- Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
- Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
- Custom Keyboard (iOS): system-wide alternative keyboards
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
微信扫码咨询专知VIP会员