GenAutomata
Sections
NuprlLIB
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 mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc