Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
On Bisimilarity for Quasi-discrete Closure Spaces
Vincenzo Ciancia, Diego Latella, Mieke Massink +1
Closure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and q…
cs.LO2025
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
Rob van Glabbeek, Jan Friso Groote, Erik de Vink
This paper proposes a notion of branching bisimilarity for non-deterministic probabilistic processes. In order to characterize the corresponding notion of rooted branching probabil…