Results 201 to 210 of about 6,025 (211)
Some of the next articles are maybe not open access.
Backward and forward bisimulation minimization of tree automata
Theoretical Computer Science, 2009Andreas Maletti +2 more
exaly
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
IFAC-PapersOnLine, 2018Christoforos N. Hadjicostis +1 more
exaly
Decidability of bisimulation equivalence for normed pushdown processes
Theoretical Computer Science, 1998Colin Stirling
exaly
An axiomatization of bisimulation quantifiers via the -calculus
Theoretical Computer Science, 2005Giacomo Lenzi, Giovanna D’Agostino
exaly
Bisimulation equivalence of differential-algebraic systems
International Journal of Control, 2018Arjan van der Schaft +1 more
exaly
Fuzzy Bisimulation for Gödel Modal Logic
IEEE Transactions on Fuzzy Systems, 2015Tuan-Fang Fan
exaly
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems, 2009exaly
Algebraic properties of approximate bisimulation relations for fuzzy automata
Fuzzy Sets and SystemsYongming Li
exaly