Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918243566878720 |
|---|---|
| author | Fernandes, Vítor de Visme, Marc Valiron, Benoît |
| author_facet | Fernandes, Vítor de Visme, Marc Valiron, Benoît |
| contents | In this paper, we consider event structures and their probabilistic and quantum extensions as originally defined by Winskel. If these structures have already been part of sophisticated computational models, they have rarely been directly studied as an immediate model of execution traces of programs. This paper offers such an analysis. We propose a simple imperative operational framework and show how to derive soundness and adequacy results with event structures considered as a semantics. We show how event structures naturally handle non-deterministic, probabilistic and quantum effects. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_14563 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report) Fernandes, Vítor de Visme, Marc Valiron, Benoît Logic in Computer Science In this paper, we consider event structures and their probabilistic and quantum extensions as originally defined by Winskel. If these structures have already been part of sophisticated computational models, they have rarely been directly studied as an immediate model of execution traces of programs. This paper offers such an analysis. We propose a simple imperative operational framework and show how to derive soundness and adequacy results with event structures considered as a semantics. We show how event structures naturally handle non-deterministic, probabilistic and quantum effects. |
| title | Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report) |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2408.14563 |