Exploring Equivalences in Multi-Valued Systems: Concepts, Properties, and Generation Methods
This paper investigates equivalences within multi-valued systems. We propose a comprehensive set of concepts related to multi-valued equivalences, such as multi-valued simulation equivalence and multi-valued bisimulation equivalence. We conduct an in-depth examination of the associated theorems and...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2023-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/10316281/ |