The Mays and Musts of Concurrent Strategies - Archive ouverte HAL
Chapitre D'ouvrage Année : 2023

The Mays and Musts of Concurrent Strategies

Résumé

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.
Fichier principal
Vignette du fichier
2108.10558.pdf (333.7 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04244682 , version 1 (16-10-2023)

Licence

Identifiants

Citer

Simon Castellan, Pierre Clairambault, Glynn Winskel. The Mays and Musts of Concurrent Strategies. Samson Abramsky on Logic and Structure in Computer Science and Beyond, 25, Springer International Publishing, pp.327-361, 2023, Outstanding Contributions to Logic, ⟨10.1007/978-3-031-24117-8_9⟩. ⟨hal-04244682⟩
60 Consultations
52 Téléchargements

Altmetric

Partager

More