mb
structures
Sections
GenAutomata
Doc
Def
induced_event_str(E;A;f) == < A,MS(E),msg(E) o f,loc(E) o f,is-send(E) o f,
>
is not mentioned in this or prior sections.
Try larger context:
GenAutomata
mb
structures
Sections
GenAutomata
Doc
>