7 papers
The Tensor-Plus Calculus
Kostia Chardonnet, Marc de Visme, Benoît Valiron +1
We propose a graphical language that accommodates two monoidal structures: a multiplicative one for pairing and an additional one for branching. In this colored PROP, whether wires…
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…
Quantum Petri Nets with Event Structure semantics
Julien Saan Joachim, Marc de Visme, Stefan Haar +1
Classical Petri nets provide a canonical model of concurrency, with unfolding semantics linking nets, occurrence nets, and event structures. No comparable framework exists for quan…
Quantum Petri Nets with Event Structures semantics
Julien Saan Joachim, Marc de Visme, Stefan Haar
Classical Petri nets provide a canonical model of concurrency, with unfolding semantics linking nets, occurrence nets, and event structures. No comparable framework exists for quan…
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…
Complete Compositional Syntax for Finite Transducers on Finite and Bi-Infinite Words
Titouan Carette, Marc de Visme, Vivien Ducros +2
Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility…