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