Linear Types, Protocols, and Processes in Classical F°