Title: Session Service Interface for the BS2000 Operating System