Automatic abstraction of flow of control in a distributed virtualization platform Grant US-10057331-B2 United States of America 21 Aug 2018