Results 191 to 200 of about 13,172 (205)
Some of the next articles are maybe not open access.
Bisimulation of type 2 for BL-general fuzzy automata
Soft Computing, 2019Marzieh Shamsizadeh, M M Zahedi
exaly
Equivalence of Dynamical Systems by Bisimulation
IEEE Transactions on Automatic Control, 2004Arjan Van Der Schaft
exaly
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science, 2005Paulo Tabuada
exaly
Symbolic Bisimulation for Quantum Processes
ACM Transactions on Computational Logic, 2014Yuan Feng, Yuxin Deng, Mingsheng Ying
exaly
Fuzzy Bisimulation for Gödel Modal Logic
IEEE Transactions on Fuzzy Systems, 2015Tuan-Fang Fan
exaly
Backward and forward bisimulation minimization of tree automata
Theoretical Computer Science, 2009Johanna Hogberg +2 more
exaly
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
IFAC-PapersOnLine, 2018Bengt Lennartson +1 more
exaly
Decidability of bisimulation equivalence for normed pushdown processes
Theoretical Computer Science, 1998Colin Stirling
exaly
Bisimulation equivalence of differential-algebraic systems
International Journal of Control, 2018Noorma Yulia Megawati +1 more
exaly
An axiomatization of bisimulation quantifiers via the
Theoretical Computer Science, 2005Giovanna D'Agostino, Giacomo Lenzi
exaly