mb
structures
Sections
GenAutomata
Doc
Theorem
Name
Thm*
M:MessageStruct. EquivRel(|M|)(_1 =(M) _2)
[msg_eq_equiv]
cites
Thm*
E:DecidableEquiv. EquivRel(|E|)(_1 =(E) _2)
[eq_dequiv_equiv]
mb
structures
Sections
GenAutomata
Doc
M:MessageStruct. EquivRel(|M|)(_1 =(M) _2)E:DecidableEquiv. EquivRel(|E|)(_1 =(E) _2)M:MessageStruct. EquivRel(|M|)(_1 =(M) _2)E:DecidableEquiv. EquivRel(|E|)(_1 =(E) _2)