Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Fuzzy doubly labeled transition systems are fuzzy extension of doubly labeled transition systems in which the propositions and transitions take values from the unit interval [0,1], and the set of actions is equipped with a fuzzy equivalence relation. The notion of bisimulations that have been proven in the boolean setting is generalized to fuzzy setting. Some interesting results on perturbation and continuity properties of fuzzy bisimulation under some fuzzy connectives are proven.