On 8/24/2012 7:05 PM, Stephen P. King wrote:


"...due to the law of conjugate bisimulation identity:

          A ~ A   =   A ~ B ~ C ~ B ~ A   =   A ~ B ~ A

this is "retractable path independence": path independence only over retractable paths.

I don't understand this. You write A~(B~A) which implies that B~A is a "system" (in this case one being simulated by A). But then you write

A~B~A=A~A

and also

A~B~C~A =/= A~C~B~A =/= A~A

This seems inconsistent, since A~B~C~A = A~D~A where D=B~C, but then A~D~A=A~A. And A~C~B~A = A~E~A where E=C~B, and then A~E~A=A~A. But then A~B~C~A = A~C~B~A.

You drop the parentheses, implying the relation is associative, but then you treat it as though it isn't??

Brent

--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.

Reply via email to