(43steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc

At: P no dup composable


E:EventStruct. (ternary) composableR(E) preserves No-dup-deliver(E)

By: Auto

Generated subgoal:

11. E: EventStruct
(ternary) composableR(E) preserves No-dup-deliver(E)


About:
listall

(43steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc