GenAutomata
Sections
NuprlLIB
Doc
Def
C(Q)(i) ==
k:
||L||. Q(k) &
(L[k] =msg=(E) L[i])
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
k:
||L||. Q(k) & 
(L[k] =msg=(E) L[i])