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