Global Types and Network Services