Definition des Moduls PersMesgMaintenance

  DEFINITION PersMesgMaintenance;

     IMPORT
        Names, Shards;

     (* === server side: install service for a node === *)

     PROCEDURE InitServer(msgsys: Names.Node);

     (* === client side: request for a new message box === *)

     PROCEDURE SupplyBox( msgsys: Names.Node;
                          name: Names.Name; perm: Shards.Pot;
                          VAR box: Names.Node): BOOLEAN;

  END PersMesgMaintenance.