Discrete mathematics

Organic chemistry

Polymer chemistry

Pure mathematics

Equivalence (formal languages)

Mathematics

Bisimulation

Algebra over a field

Artificial intelligence

Chemistry

Programming language

Modal logic

Extension (predicate logic)

Group (periodic table)

Computer science

Modal

Theoretical computer science

Fuzzy logic

International Journal of Approximate Reasoning

Bisimulation is a well-known behavioral equivalence for discrete event systems, and has recently been adopted and developed in fuzzy systems. In this …

Bisimulations for fuzzy transition systems revisited