e.
is-send(E)(e)
loc(E)(e) =
p;tr) l2
== Case(l1)
Case ptn_atom(x) = >
Case(l2)
Case ptn_atom(y) = >
x=y
Atom
Default = > false
Case ptn_int(x) = >
Case(l2)
Case ptn_int(y) = >
x=y
Default = > false
Case ptn_var(x) = >
Case(l2)
Case ptn_var(y) = >
x=yAtom
Default = > false
Case ptn_pr( < x, y > ) = >
Case(l2)
Case ptn_pr( < u, v > ) = >
x = uy = v
Default = > false
Default = > false
(recursive)
is mentioned by
|
Def tr delivered at p == filter(e.is-send(E)(e)loc(E)(e) = p;tr) | [deliveries_at] |
In prior sections: mb basic mb label mb automata 1 mb structures mb declaration
Try larger context: GenAutomata