I understand the high level principle behind Push Notifications, how are they used and why they are necessary.
What I could never find is the specification of how it works between the mobile client and the notifications server.
As a (former) embedded engineer I find it really interesting, and I suspect they have all kinds of neat tricks to save on battery and data consumption.
anyone have more information ?