Section Header

    + name := INBOX;

    - bibliography:="http://IsaacOS.com";

    - author :="Sonntag Benoit (bsonntag@loria.fr)";

    - comment :="Message.";

    - version :=1;

    - date :="2003/04";

Section Inherit

    - parent_object:OBJECT :=

Section Public

    - receive msg:EVENT <-

    - send dst:INBOX <-