4 papers · 1 filter
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…
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…
Strategies with Parallel Causes
Marc de Visme, Glynn Winskel
In a distributed game we imagine a team Player engaging a team Opponent in a distributed fashion. Such games and their strategies have been formalised in concurrent games based on…