2 Jul
1990
2 Jul
'90
5:23 p.m.
For an example recent use of ordered algebras see the book by Matthew Hennessy,1988, Algebraic Theory of Processes. As references he gives Guessarian, 1981, Algebraic Semantics, LNCS Vol99 , the ADJ Paper, Initial Algebra Semantics and Continuous Algebras, JACM, Vol24, no1, pp 102-124 and recommends Nivat and Reynolds,1885, Algebraic methods in Semantics; it has useful papers and further references in it. I am sure there is lots, lots more, hardly a new thought! Gordon Plotkin