Non-deterministic, probabilistic, and quantum effects through the lens of event structures - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Non-deterministic, probabilistic, and quantum effects through the lens of event structures

Résumé

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.
Fichier non déposé

Dates et versions

hal-04744478 , version 1 (18-10-2024)

Identifiants

  • HAL Id : hal-04744478 , version 1

Citer

Benoît Valiron, Marc de Visme, Vitor Fernandes. Non-deterministic, probabilistic, and quantum effects through the lens of event structures. The 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan. ⟨hal-04744478⟩
27 Consultations
0 Téléchargements

Partager

More