Towards a Semantic Characterisation of Global Type Well-formedness
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866916197230968832 |
|---|---|
| author | Castellani, Ilaria Giannini, Paola |
| author_facet | Castellani, Ilaria Giannini, Paola |
| contents | We address the question of characterising the well-formedness properties of multiparty session types semantically, i.e., as properties of the semantic model used to interpret types. Choosing Prime Event Structures (PESs) as our semantic model, we present semantic counterparts for the two properties that underpin global type well-formedness, namely projectability and boundedness, in this model. As a first step towards a characterisation of the class of PESs corresponding to well-formed global types, we identify some simple structural properties satisfied by such PESs.
|
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_00446 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Towards a Semantic Characterisation of Global Type Well-formedness Castellani, Ilaria Giannini, Paola Logic in Computer Science We address the question of characterising the well-formedness properties of multiparty session types semantically, i.e., as properties of the semantic model used to interpret types. Choosing Prime Event Structures (PESs) as our semantic model, we present semantic counterparts for the two properties that underpin global type well-formedness, namely projectability and boundedness, in this model. As a first step towards a characterisation of the class of PESs corresponding to well-formed global types, we identify some simple structural properties satisfied by such PESs. |
| title | Towards a Semantic Characterisation of Global Type Well-formedness |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2404.00446 |