On Fri, Jan 16, 2009 at 2:31 PM, Geoffrey S. Knauth <geoff at knauth.org> wrote: > CML == Concurrent ML ? Yes. Robby