a.reduce(b,y. 
msg(a;b)
y;true;L1);L)
k ; a.as' f(a,reduce(f;k;as')) (recursive)
is mentioned by
|
Def (L -msg(a;b) L1) == filter(a.reduce(b,y. msg(a;b)y;true;L1);L) | [remove_msgs] |
In prior sections: mb list 2 list 1 mb list 1 mb label
Try larger context: GenAutomata