GenAutomata
Sections
NuprlLIB
Doc
Def
composableR(E)(L_1,L_2,L) == (
x
L_1.(
y
L_2.
(x =msg=(E) y))) & L = (L_1 @ L_2)
|E| List
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
x
L_1.(yL_2.
(x =msg=(E) y))) & L = (L_1 @ L_2) |E| List