Results 181 to 190 of about 13,172 (205)
Some of the next articles are maybe not open access.
Bisimulations and bisimulation quotients of generalized Veltman models
Logic Journal of IGPL, 2009Domagoj Vrgoc, Mladen Vukovic
openaire +1 more source
$\epsilon$-Bisimulation Relations for Fuzzy Automata
IEEE Transactions on Fuzzy Systems, 2018Yongming Li
exaly
Approximate bisimulation relations for constrained linear systems
Automatica, 2007Antoine Girard
exaly
The Subgraph Bisimulation Problem
IEEE Transactions on Knowledge and Data Engineering, 2003Agostino Dovier, Carla Piazza
exaly
Bisimulation and cocongruence for probabilistic systems
Information and Computation, 2006Vincent Danos +2 more
exaly
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems, 2009Davide Sangiorgi
exaly