GenAutomata
Sections
NuprlLIB
Doc
Def
< A,evt,tg > (E) == < A,MS(E),msg(E) o evt,loc(E) o evt,is-send(E) o evt,tg,
>
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc