Title: A model for studying high level protocols in distributed computer networks