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