Re: [abc] found small mistake in the semantics

I'm very sorry, sent the wrong example...

The initial configuration should be:

conf = 3 -> false
        4 -> true

e = { (A, {x -> a}), (B, {y -> a}) }

and the edges are:

3 to 4 labelled A (doesn't really matter, since 3 is false)
4 to 4 labelled skip-A
4 to 4 labelled skip-B

I think the previous example was ok.
My query is whether the negative bindings are being ANDed or ORed.

Again, my apologies,
Julian
Received on Fri Oct 06 13:19:49 2006