L Chen, F Clerc, P Panangaden - arXiv preprint arXiv:2312.16729, 2023 - arxiv.org
Bisimulation is a concept that captures behavioural equivalence of states in a variety of types of transition systems. It has been widely studied in a discrete-time setting where the …
Bisimulation is a concept that captures behavioural equivalence of states in a transition system. It has been widely studied in discrete time. In this work, I have first suggested a …