Talk:Phase semantics

Preliminaries: relations and closures

References

I think everything I write in the preliminaries can be found in Birkhoff, "Lattice theory". Can anyone check? (I don't think I have easy access to a copy.

In particular, I think x^R was written $x^{\leftarrow}$, with the relation R being implicit.

If so, we should add a reference to that.

-- Pierre Hyvernat 11:22, 8 February 2009 (UTC)

Notation

The refinement calculus people use the relation in the reverse order: what I write $\langle R\rangle$, they write $\langle R^\sim\rangle$. (The same is true of [R].) I find it confusing, and since this is hardly "standard" notation one way or the other, I don't think this is important...

-- Pierre Hyvernat 11:27, 8 February 2009 (UTC)