VariousWords beta
Related Terms:
Adjective
Definition: Of two state transition systems, such that a bisimulation exists between the two.
VariousWords beta
Definition: Of two state transition systems, such that a bisimulation exists between the two.