2 citations · 3 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report)
Vítor Fernandes, Marc de Visme, Benoît Valiron
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 sophistic…
cs.LO2022★ 2 cited
The Many-Worlds Calculus
Kostia Chardonnet, Marc de Visme, Benoît Valiron +1
In this paper, we explore the interaction between two monoidal structures: a multiplicative one, for the encoding of pairing, and an additive one, for the encoding of choice. We pr…
cs.LO2020★ 1 cited
Causal Unfoldings and Disjunctive Causes
Marc de Visme, Glynn Winskel
In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to…