Algorithm behind Phoenix pub/sub & presence

[kip]

The following links might help:

• CRDT algorithm underpinning presence
• Phoenix Presence sneak-peak
• {Introduction of Pub Sub and Channels](https://www.youtube.com/watch?v=RPs4SHpSThU)