1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2025
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…
cs.GT2024
Concurrent Strategies on Games with Algebras
Sacha Huriot-Tattegrain, Glynn Winskel
Probabilistic concurrent/distributed strategies have so far not been investigated thoroughly in the context of imperfect information, where the Player has only partial knowledge of…
cs.LO2014★ 1 cited
Proceedings 8th International Workshop on Developments in Computational Models
Benedikt Löwe, Glynn Winskel
The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for…