Session types, scheduling, my process and more