$Id: Messages,v 1.1 1997/10/23 12:00:34 lorenz Exp $

StreamMessage ::= EntryFrame
               |  ExitFrame
               |  thr(thr: thread
                      par: thread)   % parent thread; optional
               |  term(thr: thread)
               |  blocked(thr: thread)
               |  ready(thr: thread)
               |  exception(thr: thread
                            exc: value)

GlobalThreadStream ::= StreamMessage|GlobalThreadStream
