They are using a modified OTR protocol: https://whispersystems.org/blog/asynchronous-security/