Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911787028316160 |
|---|---|
| author | Heuvel, Bas van den |
| author_facet | Heuvel, Bas van den |
| contents | Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging messages). It is crucial to develop robust methods that can give reliable guarantees about the behavior of such message-passing software. With a focus on session types as communication protocols and their foundations in logic, this thesis revolves around the following question: How can we push the boundaries of the logical foundations of session types (binary and multiparty), extending their expressiveness and applicability, while preserving fundamental correctness properties? In this context, this thesis studies several intertwined aspects of message-passing. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_09595 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version) Heuvel, Bas van den Logic in Computer Science Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging messages). It is crucial to develop robust methods that can give reliable guarantees about the behavior of such message-passing software. With a focus on session types as communication protocols and their foundations in logic, this thesis revolves around the following question: How can we push the boundaries of the logical foundations of session types (binary and multiparty), extending their expressiveness and applicability, while preserving fundamental correctness properties? In this context, this thesis studies several intertwined aspects of message-passing. |
| title | Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version) |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2402.09595 |