[q-lang-users] Q similar to Maude?

[Greg B. <gr...@sl...>]

    Can anyone point me in the direction of documentation or papers
which compare Q and the equational/term-rewriting language Maude
(http://maude.cs.uiuc.edu/overview.html)?  Or am I mistaken to think
there is a similarity between the two?


Thanks,

Greg Buchholz